From 079e2ac539271a2bc69565c624f478af87c567b0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sat, 24 Jun 2017 16:00:50 +0200 Subject: [PATCH] =?UTF-8?q?Printing=20arguments=20of=20=E2=80=9Cnot?= =?UTF-8?q?=E2=80=9D=20expressions=20on=20the=20same=20line=20for=20clarit?= =?UTF-8?q?y.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- lib/pddlparse/include/pddlparse/ASTOutput.h | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/lib/pddlparse/include/pddlparse/ASTOutput.h b/lib/pddlparse/include/pddlparse/ASTOutput.h index 3030b56..f5fcef4 100644 --- a/lib/pddlparse/include/pddlparse/ASTOutput.h +++ b/lib/pddlparse/include/pddlparse/ASTOutput.h @@ -301,15 +301,8 @@ inline colorlog::ColorStream &print(colorlog::ColorStream &stream, const Imply inline colorlog::ColorStream &print(colorlog::ColorStream &stream, const Not ¬_, pddl::detail::PrintContext &printContext) { - stream << "(" << colorlog::Keyword("not"); - - printContext.indentationLevel++; - - pddl::detail::printIndentedNewline(stream, printContext); + stream << "(" << colorlog::Keyword("not") << " "; print(stream, not_.argument, printContext); - - printContext.indentationLevel--; - return (stream << ")"); }