minor

CPMpy · Sep 19, 2023 · 3ef220d · 3ef220d
1 parent ef92cbf
commit 3ef220d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cpmpy/solvers/choco.py b/cpmpy/solvers/choco.py
@@ -37,7 +37,7 @@
 from ..transformations.flatten_model import flatten_constraint, flatten_objective
 from ..transformations.comparison import only_numexpr_equality
 from ..transformations.linearize import canonical_comparison
-from ..transformations.reification import only_bv_reifies, only_bv_implies, reify_rewrite
+from ..transformations.reification import only_bv_reifies, reify_rewrite
 
 
 class CPM_choco(SolverInterface):