diff options
Diffstat (limited to 'src/elab_env.sml')
-rw-r--r-- | src/elab_env.sml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/elab_env.sml b/src/elab_env.sml index 1b9de129..6c3d7802 100644 --- a/src/elab_env.sml +++ b/src/elab_env.sml @@ -241,7 +241,8 @@ fun pushCRel (env : env) x k = }) (#classes env), - renameE = #renameE env, + renameE = SM.map (fn Rel' (n, c) => Rel' (n, lift c) + | Named' (n, c) => Named' (n, lift c)) (#renameE env), relE = map (fn (x, c) => (x, lift c)) (#relE env), namedE = IM.map (fn (x, c) => (x, lift c)) (#namedE env), |