diff options
Diffstat (limited to '020run.cc')
| -rw-r--r-- | 020run.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/020run.cc b/020run.cc index 70db6015..e8bb44fd 100644 --- a/020run.cc +++ b/020run.cc @@ -53,7 +53,7 @@ map<string, int> Locations_read; map<string, int> Locations_read_by_instruction; :(code) -void run(recipe_ordinal r) { +void run(const recipe_ordinal r) { routine rr(r); Current_routine = &rr; run_current_routine(); |