From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 18 Jul 2017 13:26:48 +0000 (+0200)
Subject: String ==> Bytes to make recent ocaml compilers happy
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c375766f77eaa5893bb5ae93cfa70d91fd372022;p=fireball-separation.git

String ==> Bytes to make recent ocaml compilers happy
---

diff --git a/ocaml/parser.ml b/ocaml/parser.ml
index 15c72bd..ea78009 100644
--- a/ocaml/parser.ml
+++ b/ocaml/parser.ml
@@ -29,10 +29,10 @@ let explode s =
 ;;
 
 let implode l =
-  let res = String.create (List.length l) in
+  let res = Bytes.create (List.length l) in
   let rec aux i = function
     | [] -> res
-    | c :: l -> res.[i] <- c; aux (i + 1) l in
+    | c :: l -> Bytes.set res i c; aux (i + 1) l in
   aux 0 l
 ;;