From 208cceb23c7494df14e25c4857bfca2cc1faa569 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 18 Jan 2002 16:09:53 +0000
Subject: Pas d'assert false dans un try with !

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

diff --git a/library/library.ml b/library/library.ml
index cf420d1b7f..5d0a2a5ff2 100644
--- a/library/library.ml
+++ b/library/library.ml
@@ -448,7 +448,6 @@ let rec_intern_qualified_library qid =
   | LibNotFound ->
       errorlabstrm "rec_intern_qualified_library"
       (str"Cannot find module " ++ pr_qualid qid ++ str" in loadpath")
-  | _ -> assert false
 
 let rec_intern_module_from_file qid f =
   (* A name is specified, we have to check it contains module id *)
-- 
cgit v1.2.3