X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fprobe%2Fengine.ml;h=5117f57fcde29a4b93073eaad0a0e3c44aee6197;hb=8ff4315142253a1a0478b67c07dddf70c36f50cd;hp=55936e5423aa5b594eae1c1566c718bd261f87a3;hpb=7abd5e0412171f7d07e085d334198c034895c2c3;p=helm.git

diff --git a/matita/components/binaries/probe/engine.ml b/matita/components/binaries/probe/engine.ml
index 55936e542..5117f57fc 100644
--- a/matita/components/binaries/probe/engine.ml
+++ b/matita/components/binaries/probe/engine.ml
@@ -55,8 +55,3 @@ let get_uri str =
 	 aux (F.dirname bdir) (F.concat (F.basename bdir) file)
    in
    aux dir file
-(* 
-   
-   let bpath = F.dirname str ^ "/" in
-   bpath, buri
-*)