From 3a7b61de686ace5c6f22ccc27986ee254aa82c3d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 1 Nov 2017 16:00:48 +0100 Subject: [PATCH] Fixed syntax error at end of initial state facts. Due to a mistake in commit 6d07fcb, the closing parenthesis and period at the end of initial state facts was omitted. This adds these back in order to solve this syntax error. --- include/plasp/pddl/translation/Fact.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/include/plasp/pddl/translation/Fact.h b/include/plasp/pddl/translation/Fact.h index 98d2712..0e7870d 100644 --- a/include/plasp/pddl/translation/Fact.h +++ b/include/plasp/pddl/translation/Fact.h @@ -59,6 +59,8 @@ inline void translateFact(colorlog::ColorStream &outputStream, const ::pddl::nor }; fact.match(handleAtomicFormula, handleNot); + + outputStream << ")."; } ////////////////////////////////////////////////////////////////////////////////////////////////////