diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-04-04 15:57:10 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-04-04 15:57:10 +0000 |
commit | 06f1477a60d97ff74e38b6b81877203dd00c494b (patch) | |
tree | f01db0405f765bc9a7a2003ee97a300f83ff136c | |
parent | cb1ae6ffdfd9604acb674435200768d535a67a03 (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.ml | 8 |
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" |