From 97b88fd2ce07cc9adced97ccc0aaeec9f0711a7e Mon Sep 17 00:00:00 2001 From: Anton Lorenzen Date: Sat, 30 Mar 2024 13:57:46 +0000 Subject: [PATCH] fix: Check whether a token is a scalar in interpreter --- src/library/compiler/ir_interpreter.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/compiler/ir_interpreter.cpp b/src/library/compiler/ir_interpreter.cpp index 90578a44e0a6..7c1b7d0ffc14 100644 --- 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