From ee175ea1f9151123e47d9cbfee0c6329b2e5d934 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 5 Sep 2010 14:00:57 -0400 Subject: tryDml --- src/checknest.sml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/checknest.sml') diff --git a/src/checknest.sml b/src/checknest.sml index a53c7083..1147d3e6 100644 --- a/src/checknest.sml +++ b/src/checknest.sml @@ -138,9 +138,10 @@ fun annotateExp globals = | 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, -- cgit v1.2.3