From d7ce278ada49cbfdeeec35d12f86bcea56b4a6c9 Mon Sep 17 00:00:00 2001
From: Shaked Flur
Date: Sat, 16 Dec 2017 16:41:23 +0000
Subject: compatibility with OCaml 4.06.0; imported new version of PPrint
 (20171003)

---
 src/util.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/util.ml')

diff --git a/src/util.ml b/src/util.ml
index 733fff79..31a8110d 100644
--- a/src/util.ml
+++ b/src/util.ml
@@ -293,7 +293,7 @@ module ExtraSet = functor (S : Set.S) ->
 
 let copy_file src dst = 
   let len = 5096 in
-  let b = String.make len ' ' in
+  let b = Bytes.make len ' ' in
   let read_len = ref 0 in
   let i = open_in_bin src in
   let o = open_out_bin dst  in
-- 
cgit v1.2.3