From 58a0a9d07451ca3f4dce80432e1d89ef1d259a1b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Tue, 28 Mar 2017 17:05:24 +0200 Subject: [PATCH] Fixed needless warning in release mode. --- include/anthem/Body.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/include/anthem/Body.h b/include/anthem/Body.h index 5ac0f8b..682adc0 100644 --- a/include/anthem/Body.h +++ b/include/anthem/Body.h @@ -146,7 +146,8 @@ struct BodyLiteralTranslateVisitor // TODO: refactor std::experimental::optional 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);