fix(list): support 4.03

This commit is contained in:
favonia 2021-05-22 20:43:35 -05:00
parent 8c197da02c
commit de7f445207

View file

@ -815,7 +815,7 @@ let sorted_remove ~cmp ~key l =
Q.(pair small_int (list small_int)) (fun (key,l) -> \
let l = List.sort Stdlib.compare l in \
let l' = sorted_remove ~cmp:CCInt.compare ~key l in \
List.length l' = List.length l - count (Int.equal key) l)
List.length l' = List.length l - count (CCInt.equal key) l)
Q.(pair small_int (list small_int)) (fun (key,l) -> \
let l = List.sort Stdlib.compare l in \
not (List.mem key (sorted_remove ~cmp:CCInt.compare ~key l)))