From c92de5e4618e582e4926e204dbc99f5976d20803 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 24 Nov 2016 14:47:02 +0100 Subject: [PATCH] Removed unwanted newline. --- include/anthem/StatementVisitor.h | 2 ++ src/anthem/Translation.cpp | 1 - 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/include/anthem/StatementVisitor.h b/include/anthem/StatementVisitor.h index 0516769..a9d9d2a 100644 --- a/include/anthem/StatementVisitor.h +++ b/include/anthem/StatementVisitor.h @@ -77,6 +77,8 @@ struct StatementVisitor // Print consequent of the implication rule.head.data.accept(HeadLiteralPrintSubstitutedVisitor(), rule.head, context); + + outputStream << std::endl; } void visit(const Clingo::AST::Definition &, const Clingo::AST::Statement &statement, Context &context) diff --git a/src/anthem/Translation.cpp b/src/anthem/Translation.cpp index 5723768..e44af36 100644 --- a/src/anthem/Translation.cpp +++ b/src/anthem/Translation.cpp @@ -41,7 +41,6 @@ void translate(const char *fileName, std::istream &stream, Context &context) [&context](const Clingo::AST::Statement &statement) { statement.data.accept(StatementVisitor(), statement, context); - context.logger.outputStream() << std::endl; }; const auto logger =