diff src/sqlite.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 2f33d9a51765
children 661b531f55bd
line wrap: on
line diff
--- a/src/sqlite.sml	Thu Dec 12 10:31:34 2013 -0500
+++ b/src/sqlite.sml	Thu Dec 12 17:42:48 2013 -0500
@@ -344,7 +344,7 @@
              newline,
              newline,
 
-             string "static int uw_db_begin(uw_context ctx) {",
+             string "static int uw_db_begin(uw_context ctx, int could_write) {",
              newline,
              string "uw_conn *conn = uw_get_db(ctx);",
              newline,