From 6c8569a7d9ef1c8da1eaf3f2ef57ee20a27b6a39 Mon Sep 17 00:00:00 2001
From: mobotsar <mobotsar@protonmail.com>
Date: Wed, 1 Jan 2025 00:48:58 -0500
Subject: [PATCH] Update CCString.mli to align parameter names in mli
 descriptions and implementations.

---
 src/core/CCString.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/core/CCString.mli b/src/core/CCString.mli
index 519c42a5..3cca9365 100644
--- a/src/core/CCString.mli
+++ b/src/core/CCString.mli
@@ -184,11 +184,11 @@ val take : int -> string -> string
 
 val take_while : (char -> bool) -> string -> string
 (** [take_while p s] keeps only the longest prefix [t] of [s] such that every
-    character [c] in [t] satisfies [f c]. *)
+    character [c] in [t] satisfies [p c]. *)
 
 val rtake_while : (char -> bool) -> string -> string
 (** [rtake_while p s] keeps only the longest suffix [t] of [s] such that every
-    character [c] in [t] satisfies [f c]. *)
+    character [c] in [t] satisfies [p c]. *)
 
 val drop : int -> string -> string
 (** [drop n s] removes the [n] first chars of [s].