diff options
Diffstat (limited to 'stdlib/filename.ml')
| -rw-r--r-- | stdlib/filename.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/filename.ml b/stdlib/filename.ml index 950a7b39f..89a349df3 100644 --- a/stdlib/filename.ml +++ b/stdlib/filename.ml @@ -132,7 +132,7 @@ module Win32 = struct | '\\' -> loop_bs (n+1) (i+1); | c -> add_bs n; loop i end - and add_bs n = for j = 1 to n do Buffer.add_char b '\\'; done + and add_bs n = for _j = 1 to n do Buffer.add_char b '\\'; done in loop 0; Buffer.contents b |