From 85614296e271b3a562e5704955fd4af2b7f9b52e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 1 Jun 2017 03:32:19 +0200 Subject: [PATCH] Improved debug message. --- include/anthem/StatementVisitor.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/anthem/StatementVisitor.h b/include/anthem/StatementVisitor.h index fba4b29..d47004f 100644 --- a/include/anthem/StatementVisitor.h +++ b/include/anthem/StatementVisitor.h @@ -39,7 +39,7 @@ struct StatementVisitor { void visit(const Clingo::AST::Program &program, const Clingo::AST::Statement &statement, std::vector &, Context &context) { - context.logger.log(output::Priority::Debug) << "[program] " << program.name; + context.logger.log(output::Priority::Debug) << "program “" << program.name << "”"; if (!program.parameters.empty()) throw LogicException(statement.location, "program parameters currently unsupported");