From 7fea9aa0b17626a87d36230dee7c815dcc09abbd Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 27 Nov 2008 11:06:10 -0500
Subject: Catch another unneeded lift in ElabEnv.pushCRel

---
 src/elab_env.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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,
 
-- 
cgit v1.2.3