From e0d46c2e99986a74d078a9e8d18b95e7403807b7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Thu, 24 Nov 2016 00:59:41 +0100
Subject: [PATCH] Fixed incorrect assertion.

---
 include/anthem/Body.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/anthem/Body.h b/include/anthem/Body.h
index 02ebd14..16fb107 100644
--- a/include/anthem/Body.h
+++ b/include/anthem/Body.h
@@ -120,7 +120,7 @@ struct LiteralPrintVisitor
 
 	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 = "";