From 724ad2c0c268f434317353db7d0c03ebf176caf7 Mon Sep 17 00:00:00 2001 From: Sarah Grebing Date: Mon, 2 Jul 2018 13:37:44 +0200 Subject: [PATCH] clean up --- .../formal/psdbg/gui/controller/InteractiveModeController.java | 3 --- 1 file changed, 3 deletions(-) diff --git a/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/InteractiveModeController.java b/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/InteractiveModeController.java index d602a0ad..06f7dd3f 100644 --- a/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/InteractiveModeController.java +++ b/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/InteractiveModeController.java @@ -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(); -- 2.22.0