1 files changed, 1 insertions, 0 deletions
diff --git a/043space.cc b/043space.cc
index 936f552d..094cb827 100644
--- a/043space.cc
+++ b/043space.cc
@@ -258,6 +258,7 @@ void try_reclaim_locals() {
 //?     }
 //?   }
   abandon(current_call().default_space,
+          inst.products.at(0).type->right,
           /*refcount*/1 + /*array length*/1 + /*number-of-locals*/Name[r][""]);
 }