From c5ede70329ef97f135c0e71719bd0612ee4204f5 Mon Sep 17 00:00:00 2001
From: samuelburnham <45365069+samuelburnham@users.noreply.github.com>
Date: Fri, 6 Mar 2026 15:13:22 -0500
Subject: [PATCH] fix: Memory leak in finalizer

---
 ffi.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ffi.c b/ffi.c
index b1c6fa8..e8343ce 100644
--- a/ffi.c
+++ b/ffi.c
@@ -97,5 +97,6 @@ extern lean_obj_res lean_blake3_hasher_finalize(lean_obj_arg self, size_t len) {
     lean_object *out = lean_alloc_sarray(1, len, len);
     lean_object *a = lean_ensure_exclusive_blake3_hasher(self);
     blake3_hasher_finalize(lean_get_external_data(a), lean_sarray_cptr(out), len);
+    lean_dec(a);
     return out;
 }