diff options
Diffstat (limited to 'src/elab_env.sml')
| -rw-r--r-- | src/elab_env.sml | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/elab_env.sml b/src/elab_env.sml index 2308fbb6..b7264fc7 100644 --- a/src/elab_env.sml +++ b/src/elab_env.sml @@ -29,7 +29,6 @@ structure ElabEnv :> ELAB_ENV = struct open Elab -structure L' = Elab structure U = ElabUtil structure IM = IntBinaryMap @@ -50,12 +49,12 @@ val liftConInCon = U.Con.mapB {kind = fn k => k, con = fn bound => fn c => case c of - L'.CRel xn => + CRel xn => if xn < bound then c else - L'.CRel (xn + 1) - | L'.CUnif _ => raise SynUnif + CRel (xn + 1) + | CUnif _ => raise SynUnif | _ => c, bind = fn (bound, U.Con.Rel _) => bound + 1 | (bound, _) => bound} |