diff options
Diffstat (limited to 'src/cjr.sml')
| -rw-r--r-- | src/cjr.sml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/cjr.sml b/src/cjr.sml index ac30bd9f..f9155980 100644 --- a/src/cjr.sml +++ b/src/cjr.sml @@ -85,6 +85,8 @@ datatype exp' = body : exp, initial : exp, prepared : int option } + | EDml of { dml : exp, + prepared : int option } withtype exp = exp' located |