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

Removed unwanted translation of boolean literals.

This commit is contained in:
Patrick Lühne 2016-11-23 04:46:51 +01:00
parent abd61095e2
commit be91498384
No known key found for this signature in database
GPG Key ID: 05F3611E97A70ABF
1 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
include/anthem/Body.h
View File

@ -100,12 +100,9 @@ struct TermPrintVisitor
struct LiteralPrintVisitor
{
void visit(const Clingo::AST::Boolean &boolean, const Clingo::AST::Literal &, Context &)
void visit(const Clingo::AST::Boolean &, const Clingo::AST::Literal &literal, Context &)
{
if (boolean.value == true)
std::cout << "#true";
else
std::cout << "#false";
throwErrorAtLocation(literal.location, "“boolean” literals currently unsupported in this context");
}
void visit(const Clingo::AST::Term &term, const Clingo::AST::Literal &, Context &context)