1 files changed, 10 insertions, 3 deletions
diff --git a/tools/objinfo.ml b/tools/objinfo.ml
index 0eb33882a0..3eaafcca73 100644
--- a/tools/objinfo.ml
+++ b/tools/objinfo.ml
@@ -34,8 +34,15 @@ let input_stringlist ic len =
   let sect = really_input_string ic len in
   get_string_list sect len
 
-let print_name_crc (name, crc) =
-  printf "\t%s\t%s\n" (Digest.to_hex crc) name
+let dummy_crc = String.make 32 '-'
+
+let print_name_crc (name, crco) =
+  let crc =
+    match crco with
+      None -> dummy_crc
+    | Some crc -> Digest.to_hex crc
+  in
+    printf "\t%s\t%s\n" crc name
 
 let print_line name =
   printf "\t%s\n" name
@@ -143,7 +150,7 @@ let dump_byte ic =
            | "CRCS" ->
                p_section
                  "Imported units"
-                 (input_value ic : (string * Digest.t) list)
+                 (input_value ic : (string * Digest.t option) list)
            | "DLLS" ->
                p_list
                  "Used DLLs"