diff options
| author | Thomas Bauereiss | 2018-02-17 21:41:42 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-02-17 21:41:42 +0000 |
| commit | 96211c216102d6dec5e0fa3dd5999dc13e1b4748 (patch) | |
| tree | 8802dd58383e2065c9d4788fc71d32360225e5d7 /src/util.ml | |
| parent | 6bd490a9a3570fbb6f8a5979aaf4cd3ada3131d1 (diff) | |
| parent | 89f5441538355e98d236f85582daa12af1064722 (diff) | |
Merge master branch into sail2 for OCaml 4.06 compatibility
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 a627fd58..b44c5dfb 100644 --- a/src/util.ml +++ b/src/util.ml @@ -327,7 +327,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 |