fix: Check whether a token is a scalar in interpreter

opencompl · Mar 30, 2024 · 97b88fd · 97b88fd
1 parent 21096c5
commit 97b88fd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/library/compiler/ir_interpreter.cpp b/src/library/compiler/ir_interpreter.cpp
@@ -682,7 +682,7 @@ class interpreter {
                     break;
                 }
                 case fn_body_kind::Del: // delete object of unique reference
-                    lean_free_object(var(fn_body_del_var(b)).m_obj);
+                    lean_free_token(var(fn_body_del_var(b)).m_obj);
                     b = fn_body_del_cont(b);
                     break;
                 case fn_body_kind::MData: // metadata; no-op