Mercurial > urweb
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