summaryrefslogtreecommitdiff
path: root/bytecomp/bytesections.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 /bytecomp/bytesections.ml
parent05c973e6ed4be5e2fb28ef97b9659c9677ccbfd1 (diff)
downloadocaml-a0a14c08fa467bc6a40b268f0dbba9568e241e17.tar.gz
Enable and fix more warnings.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12498 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/bytesections.ml')
-rw-r--r--bytecomp/bytesections.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/bytecomp/bytesections.ml b/bytecomp/bytesections.ml
index 518e2254fb..17d57f9ed0 100644
--- a/bytecomp/bytesections.ml
+++ b/bytecomp/bytesections.ml
@@ -52,7 +52,7 @@ let read_toc ic =
if header <> Config.exec_magic_number then raise Bad_magic_number;
seek_in ic (pos_trailer - 8 * num_sections);
section_table := [];
- for i = 1 to num_sections do
+ for _i = 1 to num_sections do
let name = Misc.input_bytes ic 4 in
let len = input_binary_int ic in
section_table := (name, len) :: !section_table