From 1f501c63a81d0a2b5003299da42177bce69a8f1e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Tue, 28 Mar 2017 17:17:01 +0200 Subject: [PATCH] Added minor comment to negated comparisons. --- include/anthem/Body.h | 1 + 1 file changed, 1 insertion(+) diff --git a/include/anthem/Body.h b/include/anthem/Body.h index 682adc0..feb57bf 100644 --- a/include/anthem/Body.h +++ b/include/anthem/Body.h @@ -146,6 +146,7 @@ struct BodyLiteralTranslateVisitor // TODO: refactor std::experimental::optional visit(const Clingo::AST::Comparison &comparison, const Clingo::AST::Literal &literal, Context &context) { + // Comparisons should never have a sign, because these are converted to positive comparisons by clingo if (literal.sign != Clingo::AST::Sign::None) throwErrorAtLocation(literal.location, "negated comparisons in body currently unsupported", context);