aboutsummaryrefslogtreecommitdiff
path: root/engine/evarutil.mli
diff options
context:
space:
mode:
Diffstat (limited to 'engine/evarutil.mli')
-rw-r--r--engine/evarutil.mli2
1 files changed, 0 insertions, 2 deletions
diff --git a/engine/evarutil.mli b/engine/evarutil.mli
index b3c94e6b3b..c463415b6a 100644
--- a/engine/evarutil.mli
+++ b/engine/evarutil.mli
@@ -56,8 +56,6 @@ val new_pure_evar :
?principal:bool ->
named_context_val -> evar_map -> types -> evar_map * Evar.t
-val new_pure_evar_full : evar_map -> ?typeclass_candidate:bool -> evar_info -> evar_map * Evar.t
-
(** Create a new Type existential variable, as we keep track of
them during type-checking and unification. *)
val new_type_evar :