summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1996-04-04 15:57:10 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1996-04-04 15:57:10 +0000
commit06f1477a60d97ff74e38b6b81877203dd00c494b (patch)
treef01db0405f765bc9a7a2003ee97a300f83ff136c
parentcb1ae6ffdfd9604acb674435200768d535a67a03 (diff)
Suppression de TRANSLATE.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@740 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--tools/dumpobj.ml8
1 files changed, 2 insertions, 6 deletions
diff --git a/tools/dumpobj.ml b/tools/dumpobj.ml
index 092b51801..d6da85d8a 100644
--- a/tools/dumpobj.ml
+++ b/tools/dumpobj.ml
@@ -75,6 +75,8 @@ let rec print_struct_const = function
List.iter (fun a -> printf ", "; print_struct_const a) al;
printf ")"
end
+ | Const_float_array a ->
+ printf "floatarray"
(* Print an obj *)
@@ -242,12 +244,6 @@ let print_instr ic =
print_string "\n\ttag "; print_int i; print_string " -> ";
print_int(orig + inputs ic)
done)
- (* translate *)
- else if op == opTRANSLATE then
- (let n = inputu ic in
- for i = 0 to n-1 do
- print_string "\n\t"; print_int(inputu ic)
- done)
(* default *)
else ();
print_string "\n"