From e7333747390651c17cd3cd28951c7a4411fb7cf7 Mon Sep 17 00:00:00 2001
From: Gabriel Scherer <gabriel.scherer@gmail.com>
Date: Tue, 14 Nov 2017 07:20:26 +0100
Subject: [PATCH] batString: safe-string-ready map_first_char

---
 src/batString.mlv | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/batString.mlv b/src/batString.mlv
index 4661820dc..5fb840288 100644
--- a/src/batString.mlv
+++ b/src/batString.mlv
@@ -931,10 +931,10 @@ let numeric_compare s1 s2 =
  *)
 
 ##V<4.3##let map_first_char f s =
-##V<4.3##  let r = copy s in
-##V<4.3##  if length s > 0 then
-##V<4.3##    unsafe_set r 0 (f(unsafe_get s 0));
-##V<4.3##  r
+##V<4.3##  let r = Bytes.of_string s in
+##V<4.3##  if Bytes.length r > 0 then
+##V<4.3##    Bytes.unsafe_set r 0 (f (unsafe_get s 0));
+##V<4.3##  Bytes.unsafe_to_string r
 
 ##V<4.3##let capitalize_ascii s = map_first_char BatChar.uppercase_ascii s
 ##V<4.3##let uncapitalize_ascii s = map_first_char BatChar.lowercase_ascii s