diff options
Diffstat (limited to 'kernel/pre_env.ml')
| -rw-r--r-- | kernel/pre_env.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/kernel/pre_env.ml b/kernel/pre_env.ml index ffa1d304e..6e5a45b9c 100644 --- a/kernel/pre_env.ml +++ b/kernel/pre_env.ml @@ -106,8 +106,6 @@ 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 rel_context - let push_named d env = (* if not (env.env_rel_context = []) then raise (ASSERT env.env_rel_context); assert (env.env_rel_context = []); *) |