bugfix de Xavier

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3088 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 4 insertions, 2 deletions

diff --git a/tools/dumpapprox.ml b/tools/dumpapprox.ml
index 3a1cf7eb3..ba57eb5b4 100644
--- a/tools/dumpapprox.ml
+++ b/tools/dumpapprox.ml
@@ -45,6 +45,8 @@ let rec print_approx ppf = function
       print_string "_"
   | Value_integer n ->
       print_int n
+  | Value_constptr n ->
+      print_int n; print_string "p"
 
 let print_name_crc (name, crc) =
   printf "@ %s (%a)" name print_digest crc
@@ -72,9 +74,9 @@ let print_unit_info filename =
       close_in ic;
       print_infos (ui, crc)
     end else if buffer = cmxa_magic_number then begin
-      let info_crc_list = (input_value ic : (unit_infos * Digest.t) list) in
+      let li = (input_value ic : library_infos) in
       close_in ic;
-      List.iter print_infos info_crc_list
+      List.iter print_infos li.lib_units
     end else begin
       close_in ic;
       prerr_endline "Wrong magic number";