Renamed heading to »variables«.

2016-08-13 02:50:07 +02:00
parent cf022f9959
commit 99fc6988a3
1 changed files with 1 additions and 1 deletions
--- a/src/plasp/pddl/TranslatorASP.cpp
+++ b/src/plasp/pddl/TranslatorASP.cpp
@@ -126,7 +126,7 @@ void TranslatorASP::translateTypes() const

 void TranslatorASP::translatePredicates() const
 {
-	m_outputStream << utils::Heading2("predicates");
+	m_outputStream << utils::Heading2("variables");

 	const auto &predicates = m_description.domain().predicates();