From b65d47e63f36541509ce35acc95bd0f61c731441 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