Fixed typo in PDDL translation output.

potassco · Jun 14, 2016 · d3039d5 · d3039d5
1 parent 6b5c8df
commit d3039d5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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;
 			}
 		});
 }