FIX: ap deref reentrant notification

- closes leonoel#108
lotuc · Aug 26, 2024 · 25ab8f2 · 25ab8f2 · lotuc · Aug 28, 2024
1 parent d9532f3
commit 25ab8f2
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/java/missionary/impl/Ambiguous.java b/java/missionary/impl/Ambiguous.java
@@ -395,9 +395,8 @@ else if (curr instanceof Processor) {
                 }
                 break;
             } else if (Numbers.isPos(par)) {
-                c.busy = false;
                 cb = branch(c);
-                break;
+                if (c.busy = !c.busy) {} else break;
             } else if (Numbers.isNeg(par)) if (c == b.choice) if (curr == null) {
                 c.busy = false;
                 cb = choose(c);