From 3e809a9c30ca93c38faa7c6adf879f110878fb40 Mon Sep 17 00:00:00 2001
From: cfreksen <casper@freksen.dk>
Date: Mon, 30 Oct 2017 02:36:10 +0100
Subject: [PATCH] Add blank lines to printout in auto-mode.

---
 stepper.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/stepper.py b/stepper.py
index d8717ed..7cb01bd 100644
--- a/stepper.py
+++ b/stepper.py
@@ -522,6 +522,7 @@ def auto_step(ast, function_name='tigermain', function_args=[1234, 5678]):
     global_env = alloc_globals(gdecls, heap)
     print('Heap after globals are allocated:')
     print(heap)
+    print()
 
     step_cnt = 0
     while True:
@@ -530,6 +531,7 @@ def auto_step(ast, function_name='tigermain', function_args=[1234, 5678]):
                                                        stack_frames, ssa_env,
                                                        global_env, heap, tdecls,
                                                        fdecls, call_res)
+        print()
         step_cnt += 1
         if terminator is None:
             print('Stepping done!\nFinal ssa_env: {}'