whoops

CPMpy · Oct 10, 2023 · 84c2026 · 84c2026
1 parent 4852207
commit 84c2026
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cpmpy/tools/mus.py b/cpmpy/tools/mus.py
@@ -141,5 +141,5 @@ def do_recursion(soft, hard, delta):
     solver_core = set(m.get_core())
     max_idx = max(i for i,a in enumerate(assump) if a in solver_core)
 
-    core = do_recursion(list(assump)[:max_idx], [], [])
+    core = do_recursion(list(assump)[:max_idx+1], [], [])
     return [dmap[a] for a in core]