diff options
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index 33980f69..d2f77a36 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -3184,6 +3184,7 @@ fun p_file env (ds, ps) = DVal (_, _, _, e) => expDb e | DFun (_, _, _, _, e) => expDb e | DFunRec vis => List.exists (expDb o #5) vis + | DTask (_, _, _, e) => expDb e | _ => false val () = if not hasDb andalso List.exists declDb ds then |