diff options
Diffstat (limited to 'src/elaborate.sml')
| -rw-r--r-- | src/elaborate.sml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index 3e2cac1b..6fca31b1 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -201,12 +201,12 @@ fun elabCon env (c, loc) = | L.CVar s => (case E.lookupC env s of - E.CNotBound => + E.NotBound => (conError env (UnboundCon (loc, s)); (cerror, kerror)) - | E.CRel (n, k) => + | E.Rel (n, k) => ((L'.CRel n, loc), k) - | E.CNamed (n, k) => + | E.Named (n, k) => ((L'.CNamed n, loc), k)) | L.CApp (c1, c2) => let |