diff src/corify.sml @ 1936:6745eafff617

Start SQL transactions as read-only when possible, based on conservative program analysis
author Adam Chlipala <adam@chlipala.net>
date Thu, 12 Dec 2013 17:42:48 -0500
parents c1ee5dec9cff
children 210fb3dfc483
line wrap: on
line diff
--- a/src/corify.sml	Thu Dec 12 10:31:34 2013 -0500
+++ b/src/corify.sml	Thu Dec 12 17:42:48 2013 -0500
@@ -1046,7 +1046,7 @@
                                                                                 | _ => false) args then
                                                                L'.Extern L'.ReadCookieWrite
                                                            else
-                                                               L'.Link
+                                                               L'.Link L'.ReadCookieWrite
                                          in
                                              ((L.DVal ("wrap_" ^ s, 0, tf, e), loc) :: wds,
                                               (fn st =>