diff options
Diffstat (limited to 'pretyping/locusops.ml')
| -rw-r--r-- | pretyping/locusops.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pretyping/locusops.ml b/pretyping/locusops.ml index 22f154795..3bbd8af44 100644 --- a/pretyping/locusops.ml +++ b/pretyping/locusops.ml @@ -27,8 +27,8 @@ let convert_occs = function let is_selected occ = function | AllOccurrences -> true - | AllOccurrencesBut l -> not (List.mem occ l) - | OnlyOccurrences l -> List.mem occ l + | AllOccurrencesBut l -> not (Int.List.mem occ l) + | OnlyOccurrences l -> Int.List.mem occ l | NoOccurrences -> false (** Usual clauses *) |