diff options
Diffstat (limited to '044space.cc')
| -rw-r--r-- | 044space.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/044space.cc b/044space.cc index 4469e47f..40f0f5ba 100644 --- a/044space.cc +++ b/044space.cc @@ -178,6 +178,7 @@ void try_reclaim_locals() { if (inst.name != "local-scope") return; //? cerr << inst.to_string() << '\n'; //? 1 +//? cerr << current_recipe_name() << ": abandon " << Current_routine->calls.front().default_space << '\n'; //? 1 abandon(Current_routine->calls.front().default_space, /*array length*/1+/*number-of-locals*/Name[r][""]); } |