From d3039d55e5a625474e62cada9c1dfd3bfeb25926 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Tue, 14 Jun 2016 19:21:27 +0200 Subject: [PATCH] Fixed typo in PDDL translation output. --- src/plasp/pddl/TranslatorASP.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/plasp/pddl/TranslatorASP.cpp b/src/plasp/pddl/TranslatorASP.cpp index ee2eb69..85f3689 100644 --- a/src/plasp/pddl/TranslatorASP.cpp +++ b/src/plasp/pddl/TranslatorASP.cpp @@ -267,13 +267,13 @@ void TranslatorASP::translateConstants(const std::string &heading, const express { m_outputStream << utils::Keyword("hasType") << "(" << utils::Keyword("constant") << "(" << constantName << "), " - << utils::Keyword("hastype") << "(" << utils::escapeASP(type->name()) << "))." << std::endl; + << utils::Keyword("type") << "(" << utils::escapeASP(type->name()) << "))." << std::endl; } else { m_outputStream << utils::Keyword("hasType") << "(" << utils::Keyword("constant") << "(" << constantName << "), " - << utils::Keyword("hastype") << "(object))." << std::endl; + << utils::Keyword("type") << "(object))." << std::endl; } }); }