quelques bug reports mineurs

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1733 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 7 insertions, 1 deletions

diff --git a/library/library.ml b/library/library.ml
index b30852e7d..48af3672a 100644
--- a/library/library.ml
+++ b/library/library.ml
@@ -144,7 +144,13 @@ let rec load_module_from s f =
   try
     Stringmap.find s !modules_table
   with Not_found ->
-    let (lpe,fname,ch) = raw_intern_module (get_load_path ()) f in
+    let (lpe,fname,ch) =
+      try raw_intern_module (get_load_path ()) f
+      with System.Bad_magic_number fname ->
+        errorlabstrm "load_module_from"
+          [< 'sTR"file "; 'sTR fname; 'sPC; 'sTR"has bad magic number.";
+             'sPC; 'sTR"It is corrupted"; 'sPC;
+             'sTR"or was compiled with another version of Coq." >] in
     let md = System.marshal_in ch in
     let digest = System.marshal_in ch in
     close_in ch;