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

Fixed needless warning in release mode.

This commit is contained in:
Patrick Lühne 2017-03-28 17:05:24 +02:00
parent 7c928f07a3
commit 58a0a9d074
No known key found for this signature in database
GPG Key ID: 05F3611E97A70ABF
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
include/anthem/Body.h
View File

@ -146,7 +146,8 @@ struct BodyLiteralTranslateVisitor
// TODO: refactor
std::experimental::optional<ast::Formula> visit(const Clingo::AST::Comparison &comparison, const Clingo::AST::Literal &literal, Context &context)
{
assert(literal.sign == Clingo::AST::Sign::None);
if (literal.sign != Clingo::AST::Sign::None)
throwErrorAtLocation(literal.location, "negated comparisons in body currently unsupported", context);
const auto operator_ = translate(comparison.comparison);