patrick
/
anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Improved debug message.

This commit is contained in:
Patrick Lühne 2017-06-01 03:32:19 +02:00
parent cdcee897ec
commit 85614296e2
No known key found for this signature in database
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
include/anthem/StatementVisitor.h
View File

@ -39,7 +39,7 @@ struct StatementVisitor
{
void visit(const Clingo::AST::Program &program, const Clingo::AST::Statement &statement, std::vector<ast::ScopedFormula> &, 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");