diff options
Diffstat (limited to 'src/mono.sml')
-rw-r--r-- | src/mono.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mono.sml b/src/mono.sml index a23ec958..c94c3a46 100644 --- a/src/mono.sml +++ b/src/mono.sml @@ -43,7 +43,7 @@ datatype exp' = | EApp of exp * exp | EAbs of string * typ * typ * exp - | ERecord of (string * exp) list + | ERecord of (string * exp * typ) list | EField of exp * string withtype exp = exp' located |