summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1997-04-11 13:58:34 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1997-04-11 13:58:34 +0000
commitd903fe4d27f26e3d9048823e58277aae4c5e940d (patch)
treed3fdee7bb8ef74d702289163f3e27f323437480a /tools
parentbfd631971ac5d96f1f685aa34282734f76411664 (diff)
downloadocaml-d903fe4d27f26e3d9048823e58277aae4c5e940d.tar.gz
Commentaire bugge.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1497 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools')
-rw-r--r--tools/dumpobj.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/dumpobj.ml b/tools/dumpobj.ml
index 920379ea81..b7fbfe8a7d 100644
--- a/tools/dumpobj.ml
+++ b/tools/dumpobj.ml
@@ -48,7 +48,7 @@ type global_table_entry =
let start = ref 0 (* Position of beg. of code *)
let reloc = ref ([] : (reloc_info * int) list) (* Relocation table *)
-let globals = ref ([||] : global_table_entry array) (* Global List.map *)
+let globals = ref ([||] : global_table_entry array) (* Global map *)
let objfile = ref false (* true if dumping a .zo *)
(* Print a structured constant *)