diff options
Diffstat (limited to 'src/case.ml')
| -rw-r--r-- | src/case.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/case.ml b/src/case.ml index c366d06..3ba41e9 100644 --- a/src/case.ml +++ b/src/case.ml @@ -95,7 +95,7 @@ let hasTrailingDots s = let removeTrailingDots s = let len = String.length s in - let s' = String.create len in + let s' = Bytes.create len in let pos = ref (len - 1) in let pos' = ref (len - 1) in while !pos >= 0 do |