diff options
Diffstat (limited to 'src/corify.sml')
| -rw-r--r-- | src/corify.sml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/corify.sml b/src/corify.sml index d9e5d30c..bc14d408 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -562,8 +562,8 @@ fun corifyExp st (e, loc) = fun makeApp n = let - val (actuals, _) = foldr (fn (_, (actuals, n)) => - ((L'.ERel n, loc) :: actuals, + val (actuals, _) = foldr (fn (t, (actuals, n)) => + (((L'.ERel n, loc), t) :: actuals, n + 1)) ([], n) args in (L'.EFfiApp (m, x, actuals), loc) |