X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgetter%2Fhttp_getter_misc.ml;h=fa5d780b07be470bdfc1cb729375bfea09e82568;hb=6b76c5b3b82753966cabffd8536d8dd9f8cada20;hp=38a943bc59b90091b89b32f6132b11c99ce427c5;hpb=aa5c8c99c9f7ae285883cff133fc02b3d064888c;p=helm.git

diff --git a/matita/components/getter/http_getter_misc.ml b/matita/components/getter/http_getter_misc.ml
index 38a943bc5..fa5d780b0 100644
--- a/matita/components/getter/http_getter_misc.ml
+++ b/matita/components/getter/http_getter_misc.ml
@@ -183,7 +183,7 @@ let gunzip ?(keep = false) ?output fname =
       (try
         while true do
           let bytes = Gzip.input ic buf 0 bufsiz in
-          if bytes = 0 then raise End_of_file else Pervasives.output oc buf 0 bytes
+          if bytes = 0 then raise End_of_file else Stdlib.output oc buf 0 bytes
         done
       with End_of_file -> ());
 	close_out oc;