From 695da3ac4e54601272ed7c26b27af275e42fe12c Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Thu, 15 May 1997 13:28:28 +0000
Subject: [PATCH] Nouvelle gestion du CRC de l'interface

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

diff --git a/tools/objinfo.ml b/tools/objinfo.ml
index 682abb0e0..8c5475318 100644
--- a/tools/objinfo.ml
+++ b/tools/objinfo.ml
@@ -23,8 +23,6 @@ let print_digest d =
 
 let print_info cu =
   print_string "  Unit name: "; print_string cu.cu_name; print_newline();
-  print_string "  Digest of interface implemented: ";
-  print_digest cu.cu_interface; print_newline();
   print_string "  Interfaces imported:"; print_newline();
   List.iter
     (fun (name, digest) ->