diff options
Diffstat (limited to 'pretyping/evarsolve.mli')
| -rw-r--r-- | pretyping/evarsolve.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/evarsolve.mli b/pretyping/evarsolve.mli index cf059febf..70e94b4dc 100644 --- a/pretyping/evarsolve.mli +++ b/pretyping/evarsolve.mli @@ -52,7 +52,7 @@ val solve_evar_evar : ?force:bool -> env -> evar_map -> bool option -> existential -> existential -> evar_map val solve_simple_eqn : conv_fun -> ?choose:bool -> env -> evar_map -> - bool option * existential * constr -> unification_result + bool option * existential * EConstr.t -> unification_result val reconsider_conv_pbs : conv_fun -> evar_map -> unification_result |