X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgetter%2Fhttp_getter_logger.ml;h=91e7c8a93c4e21e5b83046ed068af4a617c29c8a;hb=0bcf2dc1a27e38cb6cd3d44eb838d652926841e0;hp=1d774c10287bd6fbc611dc0e1b46a0b1bcc32652;hpb=2c01ff6094173915e7023076ea48b5804dca7778;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