X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Flibrary%2Flibrarian.ml;h=899a9a6a5b4f040a675b46ecc5a7b61813f9c5fa;hb=74c6905907b0bca229366d52450e2a6982b5b8be;hp=9ffde2b87d0444c6d9ad012b4e26e9641d45a513;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/components/library/librarian.ml b/matitaB/components/library/librarian.ml
index 9ffde2b87..899a9a6a5 100644
--- a/matitaB/components/library/librarian.ml
+++ b/matitaB/components/library/librarian.ml
@@ -112,7 +112,8 @@ let find_root_for ~include_paths file =
 let mk_baseuri root extra =
   let chop name = 
     assert(Filename.check_suffix name ".ma" ||
-      Filename.check_suffix name ".mma");
+      Filename.check_suffix name ".mma" ||
+      Filename.check_suffix name ".mad");
     try Filename.chop_extension name
     with Invalid_argument "Filename.chop_extension" -> name
   in