From 0faed8b64498534297bd797108b659802815aefc Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 13 Sep 2008 20:15:30 -0400 Subject: Deletion for Crud --- src/cjr_print.sml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/cjr_print.sml b/src/cjr_print.sml index b90854a1..f784f3d4 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -898,7 +898,7 @@ fun p_exp' par env (e, loc) = end | EDml {dml, prepared} => - box [string "({", + box [string "(uw_begin_region(ctx), ({", newline, string "PGconn *conn = uw_get_db(ctx);", newline, @@ -970,9 +970,11 @@ fun p_exp' par env (e, loc) = string "PQclear(res);", newline, + string "uw_end_region(ctx);", + newline, string "uw_unit_v;", newline, - string "})"] + string "}))"] and p_exp env = p_exp' false env -- cgit v1.2.3