X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgetter%2Fhttp_getter_logger.ml;h=91e7c8a93c4e21e5b83046ed068af4a617c29c8a;hb=3df31c02806eca83c63c14e6a89844f764c3e2cb;hp=1d774c10287bd6fbc611dc0e1b46a0b1bcc32652;hpb=e2718488c73b2cdf20b26af46e80a11b91fac220;p=helm.git

diff --git a/matita/components/getter/http_getter_logger.ml b/matita/components/getter/http_getter_logger.ml
index 1d774c102..91e7c8a93 100644
--- a/matita/components/getter/http_getter_logger.ml
+++ b/matita/components/getter/http_getter_logger.ml
@@ -55,7 +55,7 @@ let log ?(level = 1) s =
     let msg = "[HTTP-Getter] " ^ s in
     match (!logfile, !logchan) with
     | None, _ -> prerr_endline msg
-    | Some fname, Some oc ->
+    | Some _fname, Some oc ->
         output_string oc msg;
         output_string oc "\n";
         flush oc