From 99fc6988a378b726a1f9b2df04ba6e67e3c6478f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Sat, 13 Aug 2016 02:50:07 +0200
Subject: [PATCH] =?UTF-8?q?Renamed=20heading=20to=20=C2=BBvariables=C2=AB.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/plasp/pddl/TranslatorASP.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plasp/pddl/TranslatorASP.cpp b/src/plasp/pddl/TranslatorASP.cpp
index 517abc4..2d5a798 100644
--- 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();