diff options
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) |