diff options
| -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 246f2135d5..3dbe65ff8a 100644 --- a/pretyping/cases.mli +++ b/pretyping/cases.mli @@ -21,5 +21,5 @@ val compile_cases : (trad_constraint -> env -> rawconstr -> unsafe_judgment) * 'a evar_defs -> trad_constraint -> env -> rawconstr option * rawconstr list * - (identifier list * pattern list * rawconstr) list -> + (identifier list * cases_pattern list * rawconstr) list -> unsafe_judgment |