From 766fc2f8977e4aa33024d639e6b79b9b8895ca94 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 21 Sep 2001 11:36:33 +0000
Subject: Protection contre Not_found

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2044 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/vernacentries.ml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/toplevel/vernacentries.ml b/toplevel/vernacentries.ml
index 39e74dc44c..420a4bf027 100644
--- a/toplevel/vernacentries.ml
+++ b/toplevel/vernacentries.ml
@@ -363,7 +363,11 @@ let _ =
     (function 
        | [VARG_QUALID qid] ->
 	   fun () ->
-	     let fullname = Nametab.locate_loaded_library qid in 
+	     let fullname =
+               try Nametab.locate_loaded_library qid
+               with Not_found -> 
+                 error ((Nametab.string_of_qualid qid)^" not loaded")
+             in
 	     without_mes_ambig Library.import_module fullname
        | _ -> bad_vernac_args "ImportModule")
 
-- 
cgit v1.2.3