From a75770eb41e8a3bbfb44cb65d04bb3af29448fe7 Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Wed, 28 Sep 2016 16:19:23 +0200
Subject: CLEANUP: remove the definition of the "CString.map" function. We will
 use the official "String.map" function instead.

---
 lib/cString.mli | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'lib/cString.mli')

diff --git a/lib/cString.mli b/lib/cString.mli
index 5292b34d0a..65edfbbe68 100644
--- a/lib/cString.mli
+++ b/lib/cString.mli
@@ -32,9 +32,6 @@ sig
   val strip : string -> string
   (** Remove the surrounding blank characters from a string *)
 
-  val map : (char -> char) -> string -> string
-  (** Apply a function on a string character-wise. *)
-
   val drop_simple_quotes : string -> string
   (** Remove the eventual first surrounding simple quotes of a string. *)
 
-- 
cgit v1.2.3