add missing case

CPMpy · May 17, 2024 · cba0e6a · cba0e6a
1 parent 17073f4
commit cba0e6a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/cpmpy/transformations/negation.py b/cpmpy/transformations/negation.py
@@ -44,6 +44,8 @@ def push_down_negation(lst_of_expr, toplevel=True):
             if is_boolexpr(lexpr) and is_boolexpr(rexpr):
                 newexpr = (lexpr == recurse_negation(rexpr))
                 newlist.append(newexpr)
+            else:
+                newlist.append(expr)
 
         else:
             # an Expression, we remain in the positive case