diff src/mono_opt.sml @ 998:ad434669f299

Fix some MySQL hijinks
author Adam Chlipala <adamc@hcoop.net>
date Mon, 12 Oct 2009 18:16:42 -0400
parents 552c989c1601
children 16f7cb0891b6
line wrap: on
line diff
--- a/src/mono_opt.sml	Fri Oct 09 09:50:26 2009 -0400
+++ b/src/mono_opt.sml	Mon Oct 12 18:16:42 2009 -0400
@@ -100,7 +100,7 @@
     let
         fun doChars (cs, acc) =
             case cs of
-                #"T" :: #"." :: cs => doChars (cs, acc)
+                #"T" :: #"_" :: #"T" :: #"." :: cs => doChars (cs, acc)
               | #"'" :: cs => doString (cs, acc)
               | ch :: cs => doChars (cs, ch :: acc)
               | [] => String.implode (rev acc)