X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Flibrary%2Flibrarian.ml;h=72f8c50db9fcfca38e13070a79271e26206bc771;hb=ee4ed24e86a1950e6cf168856d81eaf7dca17ee9;hp=f1649239460939d2915f226bc38b90312df3e82d;hpb=b36918dbc0e6d0c70c92551e34bdc65cbfddddec;p=helm.git

diff --git a/components/library/librarian.ml b/components/library/librarian.ml
index f16492394..72f8c50db 100644
--- a/components/library/librarian.ml
+++ b/components/library/librarian.ml
@@ -69,9 +69,10 @@ let find_root_for ~include_paths file =
    if String.length uri < 5 || String.sub uri 0 5 <> "cic:/" then
      HLog.error (rootpath ^ " sets an incorrect baseuri: " ^ buri);
    ensure_trailing_slash root, remove_trailing_slash uri, path
- with Failure "find_in" as exn -> 
-   HLog.error ("Unable to find: "^file);
-   raise exn
+ with Failure "find_in" -> 
+   HLog.error ("Unable to find: "^file^"\nPaths explored:\n");
+   List.iter (fun x -> HLog.error (" - "^x^"\n")) include_paths;
+   raise (NoRootFor file)
 ;;
 
 let baseuri_of_script ~include_paths file =