diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/elab_env.sml | 2 |
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, |