summaryrefslogtreecommitdiffstats
path: root/stdlib/filename.ml
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2012-05-29 11:47:28 +0000
committerAlain Frisch <alain@frisch.fr>2012-05-29 11:47:28 +0000
commita0a14c08fa467bc6a40b268f0dbba9568e241e17 (patch)
tree0a248584e83daee65471533c0d5c34252c333527 /stdlib/filename.ml
parent05c973e6ed4be5e2fb28ef97b9659c9677ccbfd1 (diff)
Enable and fix more warnings.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12498 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/filename.ml')
-rw-r--r--stdlib/filename.ml2
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