From 84b3615abace2bd06c76e5d0ec6c5a8abe23a4de Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Mon, 12 Oct 2009 18:16:42 -0400 Subject: Fix some MySQL hijinks --- src/mono_opt.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/mono_opt.sml') 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) -- cgit v1.2.3