diff options
Diffstat (limited to 'src/source.sml')
-rw-r--r-- | src/source.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/source.sml b/src/source.sml index bfa270d8..c5950b36 100644 --- a/src/source.sml +++ b/src/source.sml @@ -138,7 +138,7 @@ and exp' = | ELet of edecl list * exp and edecl' = - EDVal of string * con option * exp + EDVal of pat * exp | EDValRec of (string * con option * exp) list withtype sgn_item = sgn_item' located |