From 6960e8a8c72e08b87c474ad61ffc921b7de70375 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Sat, 13 Aug 2016 03:09:14 +0200
Subject: [PATCH] Wrapped translated PDDL constant definitions for usability in
 meta encodings.

---
 src/plasp/pddl/TranslatorASP.cpp | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/plasp/pddl/TranslatorASP.cpp b/src/plasp/pddl/TranslatorASP.cpp
index de56de9..b515090 100644
--- a/src/plasp/pddl/TranslatorASP.cpp
+++ b/src/plasp/pddl/TranslatorASP.cpp
@@ -297,8 +297,11 @@ void TranslatorASP::translateConstants(const std::string &heading, const express
 		{
 			const auto constantName = utils::escapeASP(constant->name());
 
-			m_outputStream << std::endl << utils::Keyword("constant")
-				<< "(" << constantName << ")." << std::endl;
+			m_outputStream << std::endl
+				<< utils::Keyword("constant") << "("
+				<< utils::Keyword("constant") << "("
+				<< constantName
+				<< "))." << std::endl;
 
 			const auto *type = constant->type();