Most warnings turned into errors and avoided

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

diff --git a/matita/components/getter/http_getter_logger.ml b/matita/components/getter/http_getter_logger.ml
index 1d774c10287bd6fbc611dc0e1b46a0b1bcc32652..91e7c8a93c4e21e5b83046ed068af4a617c29c8a 100644 (file)
--- 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