diff options
Diffstat (limited to 'src/corify.sml')
| -rw-r--r-- | src/corify.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/corify.sml b/src/corify.sml index 0b0e9787..30b4a7df 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -488,7 +488,7 @@ fun corifyDecl ((d, loc : EM.span), st) = case sgi of L.SgiVal (s, _, t as (L.TFun (dom, ran), _)) => (case (#1 dom, #1 ran) of - (L.TRecord _, + (L.TRecord (L.CRecord (_, []), _), L.CApp ((L.CApp ((L.CApp ((L.CModProj (_, [], "xml"), _), |