X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgetter%2Fhttp_getter_common.ml;h=4c817d8f066744ce8ceec9964f74147d163a3eda;hb=3df31c02806eca83c63c14e6a89844f764c3e2cb;hp=ddce33f5dbcc9e126f9e3b5f131f75e6e66b98ce;hpb=e2718488c73b2cdf20b26af46e80a11b91fac220;p=helm.git

diff --git a/matita/components/getter/http_getter_common.ml b/matita/components/getter/http_getter_common.ml
index ddce33f5d..4c817d8f0 100644
--- 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