fix: for_each_fn.cpp (#4797)

leanprover · Jul 20, 2024 · 3477b0e · 3477b0e
1 parent 696f70b
commit 3477b0e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/kernel/for_each_fn.cpp b/src/kernel/for_each_fn.cpp
@@ -68,7 +68,7 @@ template<bool partial_apps> class for_each_fn {
             if (partial_apps)
                 apply(app_fn(e));
             else
-                apply_fn(e);
+                apply_fn(app_fn(e));
             apply(app_arg(e));
             return;
         case expr_kind::Lambda: case expr_kind::Pi: