summaryrefslogtreecommitdiff
path: root/src/cjr.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/cjr.sml')
-rw-r--r--src/cjr.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cjr.sml b/src/cjr.sml
index c262e326..363fa762 100644
--- a/src/cjr.sml
+++ b/src/cjr.sml
@@ -57,7 +57,7 @@ withtype exp = exp' located
datatype decl' =
DStruct of int * (string * typ) list
| DVal of string * int * typ * exp
- | DFun of string * int * string * typ * typ * exp
+ | DFun of string * int * (string * typ) list * typ * exp
withtype decl = decl' located