diff src/checknest.sml @ 1293:acabf3935060

tryDml
author Adam Chlipala <adam@chlipala.net>
date Sun, 05 Sep 2010 14:00:57 -0400
parents 7a31e0cf25e9
children 0577be31a435
line wrap: on
line diff
--- a/src/checknest.sml	Sun Sep 05 12:50:06 2010 -0400
+++ b/src/checknest.sml	Sun Sep 05 14:00:57 2010 -0400
@@ -138,9 +138,10 @@
                                       | SOME {id, query, ...} => SOME {id = id, query = query,
                                                                        nested = IS.member (expUses globals body, id)}},
                  loc)
-              | EDml {dml, prepared} =>
+              | EDml {dml, prepared, mode} =>
                 (EDml {dml = ae dml,
-                       prepared = prepared}, loc)
+                       prepared = prepared,
+                       mode = mode}, loc)
 
               | ENextval {seq, prepared} =>
                 (ENextval {seq = ae seq,