From e840f22bee9cffa92e9a22c4dd2c43accb42a725 Mon Sep 17 00:00:00 2001
From: Alexander Weigl <weigl@kit.edu>
Date: Wed, 17 Jan 2018 16:04:57 +0100
Subject: [PATCH] fix stepping into last command

---
 .../main/java/edu/kit/iti/formal/psdbg/parser/TransformAst.java | 1 +
 .../kit/iti/formal/psdbg/interpreter/dbg/DebuggerFramework.java | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/lang/src/main/java/edu/kit/iti/formal/psdbg/parser/TransformAst.java b/lang/src/main/java/edu/kit/iti/formal/psdbg/parser/TransformAst.java
index 1ce0da08..cda241aa 100644
--- a/lang/src/main/java/edu/kit/iti/formal/psdbg/parser/TransformAst.java
+++ b/lang/src/main/java/edu/kit/iti/formal/psdbg/parser/TransformAst.java
@@ -114,6 +114,7 @@ public class TransformAst implements ScriptLanguageVisitor<Object> {
             s.setSignature(sig);
         }
         s.setBody((Statements) ctx.body.accept(this));
+        s.getBody().setParent(s);
         return s;
     }
 
diff --git a/rt/src/main/java/edu/kit/iti/formal/psdbg/interpreter/dbg/DebuggerFramework.java b/rt/src/main/java/edu/kit/iti/formal/psdbg/interpreter/dbg/DebuggerFramework.java
index e6ca416b..a6d102a7 100644
--- a/rt/src/main/java/edu/kit/iti/formal/psdbg/interpreter/dbg/DebuggerFramework.java
+++ b/rt/src/main/java/edu/kit/iti/formal/psdbg/interpreter/dbg/DebuggerFramework.java
@@ -134,7 +134,7 @@ public class DebuggerFramework<T> {
     private void run() {
         try {
             interpreter.interpret(mainScript);
-            //dummyproofnode
+            ptreeManager.fireStatePointerChanged();
             succeedListener.accept(this);
         } catch (Exception e) {
             error = e;
-- 
2.26.2