diff options
Diffstat (limited to 'src/elab_err.sml')
-rw-r--r-- | src/elab_err.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/elab_err.sml b/src/elab_err.sml index ee8e1fd0..9eafa7df 100644 --- a/src/elab_err.sml +++ b/src/elab_err.sml @@ -47,7 +47,7 @@ val simplCon = U.Con.mapB {kind = fn _ => fn k => k, #1 c' end, bind = fn (env, U.Con.RelC (x, k)) => E.pushCRel env x k - | (env, U.Con.NamedC (x, n, k)) => E.pushCNamedAs env x n k NONE + | (env, U.Con.NamedC (x, n, k, co)) => E.pushCNamedAs env x n k co | (env, _) => env} val p_kind = P.p_kind |