summaryrefslogtreecommitdiff
path: root/src/cjr_print.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/cjr_print.sml')
-rw-r--r--src/cjr_print.sml1
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