Commit 5c39bc2a authored by Alexander Weigl's avatar Alexander Weigl

fixes for new key version

parent 34685c33
Pipeline #13549 failed with stage
in 2 minutes and 31 seconds
...@@ -54,7 +54,7 @@ public class Execute { ...@@ -54,7 +54,7 @@ public class Execute {
.addProofScripts(ast) .addProofScripts(ast)
.scriptSearchPath(new File(".")); .scriptSearchPath(new File("."));
pa.getProof().getProofIndependentSettings().getGeneralSettings().setOneStepSimplification(false); //pa.getProof().getProofIndependentSettings().getGeneralSettings().setOneStepSimplification(false);
Interpreter<KeyData> inter = interpreterBuilder.build(); Interpreter<KeyData> inter = interpreterBuilder.build();
KeyData keyData = new KeyData(root.getProofNode(), pa.getEnv(), pa.getProof()); KeyData keyData = new KeyData(root.getProofNode(), pa.getEnv(), pa.getProof());
......
...@@ -132,7 +132,7 @@ public class KeYProofFacade { ...@@ -132,7 +132,7 @@ public class KeYProofFacade {
.macros() .macros()
.scriptCommands() .scriptCommands()
.scriptSearchPath(new File(".")); .scriptSearchPath(new File("."));
getProof().getProofIndependentSettings().getGeneralSettings().setOneStepSimplification(false); //getProof().getProofIndependentSettings().getGeneralSettings().setOneStepSimplification(false);
return interpreterBuilder; return interpreterBuilder;
} }
......
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