fix: wrong test expected

luisfbl · Sep 12, 2024 · b0fc851 · b0fc851
1 parent e364c5b
commit b0fc851
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/tests/data/test_encode.py b/src/tests/data/test_encode.py
@@ -148,7 +148,7 @@ def test_encode_universal(self):
         )
 
         self.assertEqual(
-            Conditional(left=Negation(expr=Conditional(left=Predicate(predicate='L', letters=['b', 'b']), right=Universal(var='x', expr=Negation(expr=Predicate(predicate='L', letters=['b', 'x']))))), right=Universal(var='x', expr=Negation(expr=Predicate(predicate='L', letters=['b', 'x'])))),
+            Conditional(left=Negation(expr=Predicate(predicate='L', letters=['b', 'b'])), right=Universal(var='x', expr=Negation(expr=Predicate(predicate='L', letters=['b', 'x'])))),
             encode_expression("~Lbb->∀x~Lbx")
         )