summaryrefslogtreecommitdiff
path: root/src/cjr.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-06-27 10:50:45 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-06-27 10:50:45 -0400
commit756283988dd7d7235c228b3b99e6c7f6c73bf122 (patch)
treece2e6f57c5abbacefb996b3bae88a1bf2802dc1e /src/cjr.sml
parent35cfed265b313d645c850f1ed24f6e8f937a410c (diff)
Avoid using prepared statements for non-persistent protocols
Diffstat (limited to 'src/cjr.sml')
-rw-r--r--src/cjr.sml6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/cjr.sml b/src/cjr.sml
index 2b81de1a..a5931a55 100644
--- a/src/cjr.sml
+++ b/src/cjr.sml
@@ -89,11 +89,11 @@ datatype exp' =
query : exp,
body : exp,
initial : exp,
- prepared : int option }
+ prepared : (int * string) option }
| EDml of { dml : exp,
- prepared : int option }
+ prepared : (int * string) option }
| ENextval of { seq : exp,
- prepared : int option }
+ prepared : (int * string) option }
| EUnurlify of exp * typ
withtype exp = exp' located