From 34237bb07fa8663d3d9e8ca4f9459f46841fd43d Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Mon, 11 May 2020 17:41:58 +0200
Subject: Search: Displaying the "use About" notice only when really needed.

---
 clib/cList.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'clib')

diff --git a/clib/cList.mli b/clib/cList.mli
index 07f42770f9..c8e471f989 100644
--- a/clib/cList.mli
+++ b/clib/cList.mli
@@ -265,7 +265,7 @@ sig
       This is the second part of [chop]. *)
 
   val skipn_at_least : int -> 'a list -> 'a list
-  (** Same as [skipn] but returns [] if [n] is larger than the list of
+  (** Same as [skipn] but returns [] if [n] is larger than the length of
       the list. *)
 
   val drop_prefix : 'a eq -> 'a list -> 'a list -> 'a list
-- 
cgit v1.2.3