From 6bfd7f125e065951d7fca5d9edef46f218491b69 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 4 May 2021 08:50:34 -0400
Subject: [PATCH] test: fix too broad test

---
 src/data/CCIntMap.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/data/CCIntMap.ml b/src/data/CCIntMap.ml
index bb765d7e..1719de62 100644
--- a/src/data/CCIntMap.ml
+++ b/src/data/CCIntMap.ml
@@ -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)))
 *)