diff options
| author | Shaked Flur | 2017-12-16 16:41:23 +0000 |
|---|---|---|
| committer | Shaked Flur | 2017-12-16 16:41:23 +0000 |
| commit | d7ce278ada49cbfdeeec35d12f86bcea56b4a6c9 (patch) | |
| tree | 4f7536a2e9d74510fe8b911f10f7601b46d3df84 /src/util.ml | |
| parent | 8dde03d441a322fc489e4d25e16cd75d02f64474 (diff) | |
compatibility with OCaml 4.06.0;
imported new version of PPrint (20171003)
Diffstat (limited to 'src/util.ml')
| -rw-r--r-- | src/util.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |