diff src/cjr_print.sml @ 2241:2b1af5dc6dee

Merge.
author Ziv Scully <ziv@mit.edu>
date Sun, 19 Jul 2015 19:05:16 -0700
parents af1585e7d645 f55b0e45422f
children 6fb9232ade99
line wrap: on
line diff
--- a/src/cjr_print.sml	Sun Jul 19 19:03:11 2015 -0700
+++ b/src/cjr_print.sml	Sun Jul 19 19:05:16 2015 -0700
@@ -3672,8 +3672,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