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 2beb7441c9..03bcbc6ed8 100644 --- a/pretyping/cases.mli +++ b/pretyping/cases.mli @@ -30,7 +30,7 @@ i*) (* Compilation of pattern-matching. *) val compile_cases : - (trad_constraint -> env -> rawconstr -> unsafe_judgment) + loc -> (trad_constraint -> env -> rawconstr -> unsafe_judgment) * 'a evar_defs -> trad_constraint -> env -> rawconstr option * rawconstr list * (identifier list * cases_pattern list * rawconstr) list -> |