perf: remove unnecessary write

2026-03-28 07:44:13 +00:00 · 2026-02-04 12:47:28 +00:00
1 changed files with 0 additions and 1 deletions
--- a/src/include/lean/lean.h
+++ b/src/include/lean/lean.h
@@ -633,7 +633,6 @@ static inline void lean_ctor_release(b_lean_obj_arg o, unsigned i) {
    assert(i < lean_ctor_num_objs(o));
    lean_object ** objs = lean_ctor_obj_cptr(o);
    lean_dec(objs[i]);
-    objs[i] = lean_box(0);
 }

 static inline size_t lean_ctor_get_usize(b_lean_obj_arg o, unsigned i) {