- lambdadelta: last recursive part of preservation finally proved!

[helm.git] / matita / components / binaries / probe / engine.ml

diff --git a/matita/components/binaries/probe/engine.ml b/matita/components/binaries/probe/engine.ml
index 55936e5423aa5b594eae1c1566c718bd261f87a3..5117f57fcde29a4b93073eaad0a0e3c44aee6197 100644 (file)
--- 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
-*)