Commit 56c238c2 authored by Sarah Grebing's avatar Sarah Grebing

commit for interactiveModeController

parent 96b8eeca
...@@ -155,7 +155,7 @@ public class InteractiveModeController { ...@@ -155,7 +155,7 @@ public class InteractiveModeController {
LOGGER.debug("Handling {}", tap); LOGGER.debug("Handling {}", tap);
moreThanOneMatch = false; moreThanOneMatch = false;
String tapName = tap.getApp().taclet().displayName(); String tapName = tap.getApp().taclet().name().toString();
Goal g = tap.getCurrentGoal(); Goal g = tap.getCurrentGoal();
SequentFormula seqForm = tap.getPio().sequentFormula(); SequentFormula seqForm = tap.getPio().sequentFormula();
...@@ -302,7 +302,7 @@ public class InteractiveModeController { ...@@ -302,7 +302,7 @@ public class InteractiveModeController {
} }
} else { } else {
if (ngoals.size() == 0) { if (ngoals.size() == 0) {
cases.get(g).add(call); cases.get(findRoot(expandedNode.getData().getNode())).add(call);
} else { } else {
KeyData kdn = new KeyData(kd, ngoals.get(0).node()); KeyData kdn = new KeyData(kd, ngoals.get(0).node());
goals.add(last = new GoalNode<>(expandedNode, kdn, kdn.getNode().isClosed())); 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