From c73d21c7ec7d36d093f9331e368fae407d6fcacc Mon Sep 17 00:00:00 2001 From: wout4 Date: Fri, 12 Jan 2024 14:38:45 +0100 Subject: [PATCH] use is_boolexpr --- cpmpy/transformations/flatten_model.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpmpy/transformations/flatten_model.py b/cpmpy/transformations/flatten_model.py index 09dc383bb..b5d936b29 100644 --- a/cpmpy/transformations/flatten_model.py +++ b/cpmpy/transformations/flatten_model.py @@ -308,7 +308,7 @@ def get_or_make_var(expr,boolean=False): Determines whether this is a Boolean or Integer variable and returns the equivalent of: (var, normalize(expr) == var) """ - if expr.is_bool(): + if is_boolexpr(expr): boolean = True if __is_flat_var(expr) and boolean == expr.is_bool(): return (expr, [])