diff options
| -rw-r--r-- | pretyping/evarutil.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/pretyping/evarutil.mli b/pretyping/evarutil.mli index d62948b56e..1831110a7f 100644 --- a/pretyping/evarutil.mli +++ b/pretyping/evarutil.mli @@ -46,10 +46,6 @@ val new_evar_instance : named_context -> evar_defs -> types -> ?src:loc * hole_kind -> constr list -> evar_defs * constr -(* Builds the instance in the case where the occurrence context is the - same as the evar context *) -val make_evar_instance : env -> constr list - val w_Declare : env -> evar -> types -> evar_defs -> evar_defs (***********************************************************) |