X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgetter%2Fhttp_getter_storage.ml;h=4ff552a4bf77ceea7f44520bd9a5b353028c16f0;hb=3df31c02806eca83c63c14e6a89844f764c3e2cb;hp=c17435f6a25a4f5f7848fc9dcc2435a3e36d2911;hpb=e2718488c73b2cdf20b26af46e80a11b91fac220;p=helm.git

diff --git a/matita/components/getter/http_getter_storage.ml b/matita/components/getter/http_getter_storage.ml
index c17435f6a..4ff552a4b 100644
--- a/matita/components/getter/http_getter_storage.ml
+++ b/matita/components/getter/http_getter_storage.ml
@@ -37,7 +37,7 @@ let index_fname = "INDEX"
 
 (******************************* HELPERS **************************************)
 
-let trailing_slash_RE = Pcre.regexp "/$"
+(*let trailing_slash_RE = Pcre.regexp "/$"*)
 let relative_RE_raw = "(^[^/]+(/[^/]+)*/?$)"
 let relative_RE = Pcre.regexp relative_RE_raw
 let file_scheme_RE_raw = "(^file://)"
@@ -115,7 +115,7 @@ let keep_first l =
 let lookup uri =
   let matches =
     HExtlib.filter_map 
-      (fun (rex, _, l, _ as entry) -> 
+      (fun (rex, _, _l, _ as entry) -> 
          try
            let got = Pcre.extract ~full_match:true ~rex uri in
            Some (entry, String.length got.(0))