1 files changed, 1 insertions, 0 deletions
diff --git a/020run.cc b/020run.cc
index 1ebd187a..1bc4f0bc 100644
--- a/020run.cc
+++ b/020run.cc
@@ -95,6 +95,7 @@ void run_current_routine()
       }
     }
     // End of Instruction
+    finish_instruction:;
     ++current_step_index();
   }
   stop_running_current_routine:;