diff options
| -rw-r--r-- | 020run.cc | 2 | ||||
| -rw-r--r-- | 091run_sandboxed.cc | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/020run.cc b/020run.cc index 8d769730..2f4a2ca4 100644 --- a/020run.cc +++ b/020run.cc @@ -95,7 +95,7 @@ void run_current_routine() write_memory(current_instruction().products.at(i), products.at(i)); } // End Write Products of Instruction - // End of Instruction + // End Running One Instruction finish_instruction:; ++current_step_index(); } diff --git a/091run_sandboxed.cc b/091run_sandboxed.cc index 1103cf97..fada7b53 100644 --- a/091run_sandboxed.cc +++ b/091run_sandboxed.cc @@ -353,7 +353,7 @@ b:number <- copy 0 string Most_recent_products; :(before "End Setup") Most_recent_products = ""; -:(before "End of Instruction") +:(before "End Running One Instruction") if (Track_most_recent_products) { track_most_recent_products(current_instruction(), products); } |