diff options
Diffstat (limited to 'pretyping/cases.mli')
| -rw-r--r-- | pretyping/cases.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/cases.mli b/pretyping/cases.mli index 59cb1ca4ab..3db019d827 100644 --- a/pretyping/cases.mli +++ b/pretyping/cases.mli @@ -46,7 +46,7 @@ val compile_cases : GlobEnv.t -> glob_constr option * tomatch_tuples * cases_clauses -> evar_map * unsafe_judgment -val constr_of_pat : +val constr_of_pat : Environ.env -> Evd.evar_map -> rel_context -> |