Most warnings turned into errors and avoided

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

diff --git a/matita/components/getter/http_getter_common.ml b/matita/components/getter/http_getter_common.ml
index ddce33f5dbcc9e126f9e3b5f131f75e6e66b98ce..4c817d8f066744ce8ceec9964f74147d163a3eda 100644 (file)
--- a/matita/components/getter/http_getter_common.ml
+++ b/matita/components/getter/http_getter_common.ml
@@ -60,7 +60,7 @@ let rec uri_of_string = function
       Cic_uri (Theory (Pcre.replace ~pat:"^theory:" uri))
   | uri -> raise (Invalid_URI uri)
 
-let patch_xsl ?(via_http = true) () =
+let patch_xsl ?via_http:(_ = true) () =
   fun line ->
     let mk_patch_fun tag line =
       Pcre.replace
@@ -125,7 +125,7 @@ let return_file
       | (None, None) -> []
     in
     Http_daemon.send_basic_headers ~code:(`Code 200) outchan;
-    Http_daemon.send_headers headers outchan;
+    Http_daemon.send_headers ~headers outchan;
     Http_daemon.send_CRLF outchan
   end;
   match gunzip, patch_fun with