Skip to content

Commit

Permalink
use is_boolexpr
Browse files Browse the repository at this point in the history
  • Loading branch information
Wout4 committed Jan 12, 2024
1 parent bca24c1 commit c73d21c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion cpmpy/transformations/flatten_model.py
Original file line number Diff line number Diff line change
Expand Up @@ -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, [])
Expand Down

0 comments on commit c73d21c

Please sign in to comment.