From be2320a1fdac3899baca1f737e8b194b512e2b09 Mon Sep 17 00:00:00 2001
From: Damien Doligez <damien.doligez-inria.fr>
Date: Wed, 22 Jun 2005 13:49:35 +0000
Subject: [PATCH] suppression 3 warnings

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6923 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 tools/dumpobj.ml | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/tools/dumpobj.ml b/tools/dumpobj.ml
index a362c91a1..c52942a12 100644
--- a/tools/dumpobj.ml
+++ b/tools/dumpobj.ml
@@ -65,7 +65,7 @@ let relocate_event orig ev =
   | _                 -> ()
 
 let record_events orig evl =
-  List.iter 
+  List.iter
     (fun ev ->
       relocate_event orig ev;
       Hashtbl.add event_table ev.ev_pos ev)
@@ -83,6 +83,7 @@ let rec print_struct_const = function
     Const_base(Const_int i) -> printf "%d" i
   | Const_base(Const_float f) -> print_float f
   | Const_base(Const_string s) -> printf "%S" s
+  | Const_immstring s -> printf "%S" s
   | Const_base(Const_char c) -> printf "%C" c
   | Const_base(Const_int32 i) -> printf "%ldl" i
   | Const_base(Const_nativeint i) -> printf "%ndn" i
@@ -441,8 +442,8 @@ let print_instr ic =
         done;
   | Pubmet
      -> let tag = inputs ic in
-        let cache = inputu ic in
-	print_int tag
+        let _cache = inputu ic in
+        print_int tag
   | Nothing -> ()
   with Not_found -> print_string "(unknown arguments)"
   end;
@@ -543,4 +544,4 @@ let main() =
   done;
   exit 0
 
-let _ = Printexc.catch main (); exit 0
+let _ = main ()