X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fprobe%2Fengine.ml;h=c959e648c5e86af39229145ac6c76105bf0d9111;hb=ebc170efe71cf4ee842acfbe58bb6864e76ba98c;hp=5117f57fcde29a4b93073eaad0a0e3c44aee6197;hpb=72e835f5e6848c09faf6343fb7e276c88bfc1f2e;p=helm.git

diff --git a/matita/components/binaries/probe/engine.ml b/matita/components/binaries/probe/engine.ml
index 5117f57fc..c959e648c 100644
--- a/matita/components/binaries/probe/engine.ml
+++ b/matita/components/binaries/probe/engine.ml
@@ -24,8 +24,8 @@ let unsupported protocol =
 let missing path =
    failwith (P.sprintf "probe: missing path: %s" path)
 
-let unrooted path =
-   failwith (P.sprintf "probe: missing root: %s" path)
+let unrooted path roots =
+   failwith (P.sprintf "probe: missing root: %s (found roots: %u)" path (L.length roots))
 
 let out_int i = P.printf "%u\n" i
 
@@ -50,8 +50,8 @@ let get_uri str =
       | [root] -> 
          let buri = L.assoc "baseuri" (B.load_root_file root) in         
 	 F.concat bdir file, F.concat buri file
-      | _      -> 
-         if bdir = F.current_dir_name || bdir = F.dir_sep then unrooted dir else
+      | roots  ->
+         if bdir = F.current_dir_name || bdir = F.dir_sep then unrooted dir roots else
 	 aux (F.dirname bdir) (F.concat (F.basename bdir) file)
    in
    aux dir file