diff src/cjr_print.sml @ 2144:f55b0e45422f

Fix .sql generation to honor 'noMangleSql' in column names
author Adam Chlipala <adam@chlipala.net>
date Sun, 10 May 2015 12:56:19 -0400
parents ebfaab689570
children 6eae499c56cb 2b1af5dc6dee
line wrap: on
line diff
--- a/src/cjr_print.sml	Sun May 10 12:13:12 2015 -0400
+++ b/src/cjr_print.sml	Sun May 10 12:56:19 2015 -0400
@@ -3665,8 +3665,7 @@
                                                             let
                                                                 val t = sql_type_in env t
                                                             in
-                                                                box [string "uw_",
-                                                                     string (CharVector.map Char.toLower x),
+                                                                box [string (Settings.mangleSql (CharVector.map Char.toLower x)),
                                                                      space,
                                                                      string (#p_sql_type (Settings.currentDbms ()) t),
                                                                      case t of