From cba0e6ae0231cccaef875277462e0fea5356e83a Mon Sep 17 00:00:00 2001 From: wout4 Date: Fri, 17 May 2024 17:03:29 +0200 Subject: [PATCH] add missing case --- cpmpy/transformations/negation.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/cpmpy/transformations/negation.py b/cpmpy/transformations/negation.py index 0f9999287..087e85417 100644 --- 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