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

Fixed incorrect assertion.

Browse Source
This commit is contained in:
Patrick Lühne 2016-11-24 00:59:41 +01:00
parent f704ad64fd
commit e0d46c2e99
Signed by: patrick
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/Body.h
View File

@ -120,7 +120,7 @@ struct LiteralPrintVisitor
void visit(const Clingo::AST::Comparison &comparison, const Clingo::AST::Literal &literal, Context &context) void visit(const Clingo::AST::Comparison &comparison, const Clingo::AST::Literal &literal, Context &context)
{ {
assert(literal.sign != Clingo::AST::Sign::None); assert(literal.sign == Clingo::AST::Sign::None);
const char *operatorName = ""; const char *operatorName = "";