Commit 2bbd89d2 authored by Sarah Grebing's avatar Sarah Grebing

nested case bugfix

parent e3881ad8
Pipeline #17494 failed with stages
......@@ -294,10 +294,9 @@ public class InteractiveModeController {
goals.remove(expandedNode);
GoalNode<KeyData> last = null;
/* currentProof.getSubtreeGoals(currentProof.root()).forEach(goal -> {
cases.put(goal.node(), new Statements());
});*/
if (ngoals.size() > 1) {
cases.get(findRoot(ngoals.get(0).node())).add(call);
for (Goal newGoalNode : ngoals) {
KeyData kdn = new KeyData(kd, newGoalNode.node());
goals.add(last = new GoalNode<>(expandedNode, kdn, kdn.getNode().isClosed()));
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment