From 3d93f31230bee4442654097eabbe576bd4df7992 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Mon, 30 Sep 2013 16:37:37 -0400
Subject: Detect more SQL uses without 'database' directive

---
 src/cjr_print.sml | 1 +
 1 file changed, 1 insertion(+)

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
-- 
cgit v1.2.3