fix <>

potassco · Sep 26, 2019 · 6925cda · 6925cda
1 parent e82bc67
commit 6925cda
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/telingo/theory/body.py b/telingo/theory/body.py
@@ -315,10 +315,10 @@ def do_translate(self, ctx, step, data):
                     lhs = -lhs
                 make_disjunction(ctx.backend, lit, lhs, rhs)
             elif self.__operator == "<>":
-                ctx.backend.add_rule([], [ lit,  rhs,  lhs])
-                ctx.backend.add_rule([], [ lit, -rhs, -lhs])
-                ctx.backend.add_rule([], [-lit,  rhs, -lhs])
-                ctx.backend.add_rule([], [-lit, -rhs,  lhs])
+                ctx.backend.add_rule([], [-lit,  rhs,  lhs])
+                ctx.backend.add_rule([], [-lit, -rhs, -lhs])
+                ctx.backend.add_rule([], [ lit,  rhs, -lhs])
+                ctx.backend.add_rule([], [ lit, -rhs,  lhs])
 
 # Temporal Formulas {{{1