change problematic line in minizinc model which was raising exception…

… with minizinc 2.8.3
airbus · Apr 12, 2024 · ac66bf6 · ac66bf6
1 parent 2f89e47
commit ac66bf6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/discrete_optimization/rcpsp_multiskill/minizinc/ms_rcpsp_multi_mode_mzn_calendar.mzn b/discrete_optimization/rcpsp_multiskill/minizinc/ms_rcpsp_multi_mode_mzn_calendar.mzn
@@ -110,7 +110,7 @@ constraint forall(sk in Skill, i in Act)(
 
 % Prune.
 constraint forall(w in Units, i in Act)(
-    let{var opt set of Skill: sk = {skl | skl in Skill where skillunits[w, skl]>0 /\
+    let{var set of int: sk = {skl | skl in Skill where skillunits[w, skl]>0 /\
        sum(m in modes[i])(skillreq[skl, m])>0}}
         in(
             if sk=={} then