diff options
| -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" |