diff options
Diffstat (limited to '043space.cc')
-rw-r--r-- | 043space.cc | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/043space.cc b/043space.cc index 46736615..33c4bb09 100644 --- a/043space.cc +++ b/043space.cc @@ -266,10 +266,6 @@ string old_name; old_name.clear(); :(before "End next_instruction(curr)") curr->old_name = curr->name; // before rewrite rules modify it -:(before "End instruction Methods") -void initialize_name(const string& n) { - name = old_name = n; -} :(code) // is this reagent one of the values returned by the current (return) instruction? |