diff --git a/src/core/CCList.ml b/src/core/CCList.ml
index 5e8b33f8..6d5f6bc6 100644
--- a/src/core/CCList.ml
+++ b/src/core/CCList.ml
@@ -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)))