From 2440092eb5a61e0d34923bc68145503372580994 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 3 Apr 2021 17:40:30 -0400
Subject: [PATCH] fix invalid test in intmap

---
 src/data/CCIntMap.ml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/data/CCIntMap.ml b/src/data/CCIntMap.ml
index 35ba8ba3..bb765d7e 100644
--- a/src/data/CCIntMap.ml
+++ b/src/data/CCIntMap.ml
@@ -614,9 +614,15 @@ let to_list t = fold (fun k v l -> (k,v) :: l) t []
 
 (*$Q
   Q.(list (pair int int)) (fun l -> \
-    of_list l |> cardinal = List.length l)
+    of_list l |> cardinal = List.length (l |> List.map fst |> CCList.sort_uniq ~cmp:CCInt.compare))
+  Q.(list (pair small_int int)) (fun l -> \
+    of_list l |> cardinal = List.length (l |> List.map fst |> CCList.sort_uniq ~cmp:CCInt.compare))
 *)
 
+(*$= & ~printer:Q.Print.int
+  1 (let t = of_list [(197151390, 0); (197151390, 0)] in cardinal t)
+  *)
+
 let add_iter t iter =
   let t = ref t in
   iter (fun (k,v) -> t := add k v !t);