diff options
Diffstat (limited to 'proofs/goal.mli')
| -rw-r--r-- | proofs/goal.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/goal.mli b/proofs/goal.mli index ca6584e76..a2fa34c05 100644 --- a/proofs/goal.mli +++ b/proofs/goal.mli @@ -75,6 +75,6 @@ module V82 : sig val nf_evar : Evd.evar_map -> goal -> goal * Evd.evar_map (* Goal represented as a type, doesn't take into account section variables *) - val abstract_type : Evd.evar_map -> goal -> Term.types + val abstract_type : Evd.evar_map -> goal -> EConstr.types end |