Skip to content

P
ProofScriptParser
Commit 724ad2c0 authored by Sarah Grebing's avatar Sarah Grebing
Browse files
Options

clean up

parent 92266590
Hide whitespace changes
Inline Side-by-side
Showing with 0 additions and 3 deletions
ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/InteractiveModeController.java
View file @ 724ad2c0
......@@ -293,9 +293,6 @@ public class InteractiveModeController {
map.put("#2", call.getCommand());
EngineState estate = new EngineState(g.proof());
estate.setGoal(g);
//System.out.println("on = " + map.get("on"));
//System.out.println("formula = " + map.get("formula"));
//System.out.println("occ = " + map.get("occ"));
ValueInjector valueInjector = ValueInjector.createDefault(kd.getNode());
AbstractUserInterfaceControl uiControl = new DefaultUserInterfaceControl();
......
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