diff options
Diffstat (limited to 'src/core.sml')
-rw-r--r-- | src/core.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core.sml b/src/core.sml index 131bcc6f..e7466746 100644 --- a/src/core.sml +++ b/src/core.sml @@ -124,7 +124,7 @@ datatype export_kind = datatype Export.export_kind datatype decl' = DCon of string * int * kind * con - | DDatatype of string * int * string list * (string * int * con option) list + | DDatatype of (string * int * string list * (string * int * con option) list) list | DVal of string * int * con * exp * string | DValRec of (string * int * con * exp * string) list | DExport of export_kind * int |