chore: fix for_each_fn.cpp

2026-03-21 20:34:07 +00:00 · 2024-07-19 19:59:51 -07:00
1 changed files with 1 additions and 1 deletions
--- 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: