diff --git a/src/core/CCBool.ml b/src/core/CCBool.ml
index 026abae2..087d0101 100644
--- a/src/core/CCBool.ml
+++ b/src/core/CCBool.ml
@@ -7,7 +7,7 @@ let equal (a:bool) b = a=b
 
 let compare (a:bool) b = Pervasives.compare a b
 
-let negate x = not x
+let negate = not
 
 type 'a printer = Format.formatter -> 'a -> unit
 
diff --git a/src/core/CCBool.mli b/src/core/CCBool.mli
index e8b3086b..624b53d3 100644
--- a/src/core/CCBool.mli
+++ b/src/core/CCBool.mli
@@ -11,7 +11,8 @@ val compare : t -> t -> int
 val equal : t -> t -> bool
 
 val negate : t -> t
-(** Negation on booleans (functional version of [not]) *)
+(** Negation on booleans (functional version of [not])
+    @deprecate since NEXT_RELEASE, simply use {!not} instead *)
 
 type 'a printer = Format.formatter -> 'a -> unit