diff options
Diffstat (limited to 'src/flat.sml')
-rw-r--r-- | src/flat.sml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/flat.sml b/src/flat.sml index d31a2420..2b63bc24 100644 --- a/src/flat.sml +++ b/src/flat.sml @@ -56,6 +56,7 @@ datatype exp' = | EStrcat of exp * exp | EWrite of exp + | ESeq of exp * exp withtype exp = exp' located |