diff --git a/src/core/CCList.ml b/src/core/CCList.ml
index efc614de..de825357 100644
--- a/src/core/CCList.ml
+++ b/src/core/CCList.ml
@@ -125,8 +125,6 @@ let map f l =
 
 let direct_depth_append_ = 10_000
 
-let cons x l = x::l
-
 let append l1 l2 =
   let rec direct i l1 l2 = match l1 with
     | [] -> l2
diff --git a/src/core/CCList.mli b/src/core/CCList.mli
index ee212d03..65ae4c67 100644
--- a/src/core/CCList.mli
+++ b/src/core/CCList.mli
@@ -35,10 +35,6 @@ val (>|=) : 'a t -> ('a -> 'b) -> 'b t
 (** Infix version of [map] with reversed arguments.
     @since 0.5 *)
 
-val cons : 'a -> 'a t -> 'a t
-(** [cons x l] is [x::l].
-    @since 0.12 *)
-
 val append : 'a t -> 'a t -> 'a t
 (** Safe version of {!List.append}.
     Concatenate two lists. *)
diff --git a/src/core/CCListLabels.mli b/src/core/CCListLabels.mli
index 7152ffa6..a48b0b40 100644
--- a/src/core/CCListLabels.mli
+++ b/src/core/CCListLabels.mli
@@ -35,10 +35,6 @@ val (>|=) : 'a t -> ('a -> 'b) -> 'b t
 (** Infix version of [map] with reversed arguments.
     @since 0.5 *)
 
-val cons : 'a -> 'a t -> 'a t
-(** [cons x l] is [x::l].
-    @since 0.12 *)
-
 val append : 'a t -> 'a t -> 'a t
 (** Safe version of {!List.append}.
     Concatenate two lists. *)