# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1380573457 14400
# Node ID 16b08de04f05d353ed357c68a1fe43e9051903f4
# Parent  d6b0ee53dc931e33b6ad040391c51b3c7a87333a
Detect more SQL uses without 'database' directive

diff -r d6b0ee53dc93 -r 16b08de04f05 src/cjr_print.sml
--- a/src/cjr_print.sml	Thu Sep 26 16:22:06 2013 -0400
+++ b/src/cjr_print.sml	Mon Sep 30 16:37:37 2013 -0400
@@ -3184,6 +3184,7 @@
                 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