diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-10-12 18:16:42 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-12 18:16:42 -0400 |
| commit | b65d47e63f36541509ce35acc95bd0f61c731441 (patch) | |
| tree | c69cea3cfdb3c557e95cda62758d48509109ea11 /src/mono_opt.sml | |
| parent | 96398359a97d1f893fb26306ba600ff37eaedc35 (diff) | |
Fix some MySQL hijinks
Diffstat (limited to 'src/mono_opt.sml')
| -rw-r--r-- | src/mono_opt.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mono_opt.sml b/src/mono_opt.sml index dd04a838..9b9308be 100644 --- a/src/mono_opt.sml +++ b/src/mono_opt.sml @@ -100,7 +100,7 @@ fun unAs s = 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) |