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 | 84b3615abace2bd06c76e5d0ec6c5a8abe23a4de (patch) | |
| tree | c69cea3cfdb3c557e95cda62758d48509109ea11 /src/mono_opt.sml | |
| parent | 6529a13e560318d6c0d0521ed12a89b66d2e3e2a (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) |