fix: replace_fn.cpp (#4798)

leanprover · Jul 20, 2024 · d0bc4e4 · d0bc4e4
1 parent c2117d7
commit d0bc4e4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/kernel/replace_fn.cpp b/src/kernel/replace_fn.cpp
@@ -105,7 +105,7 @@ class replace_fn {
         lean_inc_ref(m_f);
         lean_object * r = lean_apply_1(m_f, e.raw());
         if (!lean_is_scalar(r)) {
-            expr e_new(lean_ctor_get(r, 0));
+            expr e_new(lean_ctor_get(r, 0), true);
             lean_dec_ref(r);
             return save_result(e, e_new, shared);
         }