summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/elab_env.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/elab_env.sml b/src/elab_env.sml
index 3acb855d..d1084d0c 100644
--- a/src/elab_env.sml
+++ b/src/elab_env.sml
@@ -281,7 +281,7 @@ fun pushCRel (env : env) x k =
(#classes env),
renameE = SM.map (fn Rel' (n, c) => Rel' (n, lift c)
- | Named' (n, c) => Named' (n, lift c)) (#renameE env),
+ | Named' (n, c) => Named' (n, c)) (#renameE env),
relE = map (fn (x, c) => (x, lift c)) (#relE env),
namedE = #namedE env,