diff options
Diffstat (limited to 'kernel/pre_env.ml')
| -rw-r--r-- | kernel/pre_env.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/pre_env.ml b/kernel/pre_env.ml index 8d45bb9e3d..0c01267623 100644 --- a/kernel/pre_env.ml +++ b/kernel/pre_env.ml @@ -103,7 +103,7 @@ let push_named_context_val d (ctxt,vals) = let rval = ref VKnone in Sign.add_named_decl d ctxt, (id,rval)::vals -exception ASSERT of Sign.rel_context +exception ASSERT of rel_context let push_named d env = (* if not (env.env_rel_context = []) then raise (ASSERT env.env_rel_context); |