summaryrefslogtreecommitdiffstats
path: root/src/fileutil.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/fileutil.ml')
-rw-r--r--src/fileutil.ml6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/fileutil.ml b/src/fileutil.ml
index 79390aa..ddff30b 100644
--- a/src/fileutil.ml
+++ b/src/fileutil.ml
@@ -21,12 +21,12 @@ let backslashes2forwardslashes s0 =
try
ignore(String.index s0 '\\'); (* avoid alloc if possible *)
let n = String.length s0 in
- let s = String.create n in
+ let s = Bytes.create n in
for i = 0 to n-1 do
let c = String.get s0 i in
if c = '\\'
- then String.set s i '/'
- else String.set s i c
+ then Bytes.set s i '/'
+ else Bytes.set s i c
done;
s
with Not_found -> s0