SCIP: use fzn_cumulative built-in according to new library

MiniZinc · Sep 12, 2019 · 309dc47 · 309dc47
1 parent 01bbda0
commit 309dc47
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/include/minizinc/solvers/MIP/MIP_solverinstance.hpp b/include/minizinc/solvers/MIP/MIP_solverinstance.hpp
@@ -960,7 +960,7 @@ namespace MiniZinc {
     _constraintRegistry.add("aux_float_le_zero_if_0__IND", SCIPConstraints::p_indicator_le0_if0<MIPWrapper>);
     _constraintRegistry.add("aux_float_eq_if_1__IND", SCIPConstraints::p_indicator_eq_if1<MIPWrapper>);
 
-    _constraintRegistry.add("cumulative", SCIPConstraints::p_cumulative<MIPWrapper>);
+    _constraintRegistry.add("fzn_cumulative", SCIPConstraints::p_cumulative<MIPWrapper>);
 
     /// XBZ cut generator
     _constraintRegistry.add("array_var_float_element__XBZ_lb__cutgen",