test: fix too broad test

This commit is contained in:
Simon Cruanes 2021-05-04 08:50:34 -04:00
parent 943ce7f734
commit 6bfd7f125e

View file

@ -289,6 +289,7 @@ let rec equal ~eq a b =
(*$Q
Q.(list (pair int bool)) ( fun l -> \
CCList.sort_uniq ~cmp:CCOrd.compare l = CCList.sort CCOrd.compare l ==> \
equal ~eq:(=) (of_list l) (of_list (List.rev l)))
*)