diff options
Diffstat (limited to 'pretyping/locusops.mli')
| -rw-r--r-- | pretyping/locusops.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/locusops.mli b/pretyping/locusops.mli index c1bf2d9ea..1d7c6b72e 100644 --- a/pretyping/locusops.mli +++ b/pretyping/locusops.mli @@ -42,4 +42,4 @@ val occurrences_of_hyp : Id.t -> clause -> (occurrences * hyp_location_flag) val occurrences_of_goal : clause -> occurrences val in_every_hyp : clause -> bool -val has_selected_occurrences : clause -> bool +val clause_with_generic_occurrences : 'a clause_expr -> bool |