diff src/mysql.sml @ 1834:690638bd9fef

Fix generation of timestamp literals for MySQL and SQLite
author Adam Chlipala <adam@chlipala.net>
date Fri, 30 Nov 2012 09:50:00 -0500
parents 59b07fdae1ff
children d8c260bcc1f9
line wrap: on
line diff
--- a/src/mysql.sml	Wed Nov 28 16:56:45 2012 -0500
+++ b/src/mysql.sml	Fri Nov 30 09:50:00 2012 -0500
@@ -389,6 +389,8 @@
                   newline,
                   string "uw_Estrings = 0;",
                   newline,
+                  string "uw_sql_type_annotations = 0;",
+                  newline,
                   string "uw_sqlsuffixString = \"\";",
                   newline,
                   string "uw_sqlsuffixChar = \"\";",