summaryrefslogtreecommitdiff
path: root/src/elab_env.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/elab_env.sml')
-rw-r--r--src/elab_env.sml7
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}