Commit 981ae84b authored by Alexander Weigl's avatar Alexander Weigl

fix bug

parent d23745c6
Pipeline #16067 passed with stages
in 9 minutes and 47 seconds
...@@ -51,8 +51,8 @@ public class KeyData { ...@@ -51,8 +51,8 @@ public class KeyData {
node = goal.node(); node = goal.node();
env = environment; env = environment;
this.proof = proof; this.proof = proof;
closedNode = proof.closed(); //weigl: does not work -> closedNode = proof.closed();
node = g.node();
} }
public KeyData(Node root, KeYEnvironment environment, Proof proof) { public KeyData(Node root, KeYEnvironment environment, Proof proof) {
......
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