comparison src/cjr_print.sml @ 882:9c1b7e46eed2

MySQL CGI working
author Adam Chlipala <adamc@hcoop.net>
date Fri, 17 Jul 2009 12:58:37 -0400
parents 8e9f2d247dba
children 8f2159040bbb
comparison
equal deleted inserted replaced
881:45a63416adb4 882:9c1b7e46eed2
2842 in 2842 in
2843 (pp, E.declBinds env dAll) 2843 (pp, E.declBinds env dAll)
2844 end) 2844 end)
2845 env ds 2845 env ds
2846 in 2846 in
2847 box pps 2847 box (string (#sqlPrefix (Settings.currentDbms ())) :: pps)
2848 end 2848 end
2849 2849
2850 end 2850 end