Most warnings turned into errors and avoided

[helm.git] / matita / components / getter / http_getter_storage.ml

diff --git a/matita/components/getter/http_getter_storage.ml b/matita/components/getter/http_getter_storage.ml
index c17435f6a25a4f5f7848fc9dcc2435a3e36d2911..4ff552a4bf77ceea7f44520bd9a5b353028c16f0 100644 (file)
--- 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))