diff options
Diffstat (limited to 'src/reduce.sml')
-rw-r--r-- | src/reduce.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/reduce.sml b/src/reduce.sml index fd2d5b1a..d5449bac 100644 --- a/src/reduce.sml +++ b/src/reduce.sml @@ -139,7 +139,7 @@ fun exp env e = (_, _, SOME e') => #1 e' | _ => e) - | EApp ((EAbs (_, _, e1), loc), e2) => + | EApp ((EAbs (_, _, _, e1), loc), e2) => #1 (reduceExp env (subExpInExp (0, e2) e1)) | ECApp ((ECAbs (_, _, e1), loc), c) => #1 (reduceExp env (subConInExp (0, c) e1)) |