summaryrefslogtreecommitdiff
path: root/src/core.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/core.sml')
-rw-r--r--src/core.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core.sml b/src/core.sml
index 6d9e56b6..4641d1ab 100644
--- a/src/core.sml
+++ b/src/core.sml
@@ -92,7 +92,7 @@ datatype exp' =
| ENamed of int
| ECon of datatype_kind * patCon * con list * exp option
| EFfi of string * string
- | EFfiApp of string * string * exp list
+ | EFfiApp of string * string * (exp * con) list
| EApp of exp * exp
| EAbs of string * con * con * exp
| ECApp of exp * con