]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_misc.ml
fixed Gzip bug in Xml.pp
[helm.git] / helm / ocaml / getter / http_getter_misc.ml
index 289ebad9af9f22b477e5d6f8d25a7a57c1386b20..b25a425805ad9c6a29cda92c83cd87aff2af496d 100644 (file)
@@ -163,7 +163,6 @@ let gunzip ?(keep = false) ?output fname =
   begin
     try
       let ic = Gzip.open_in_chan zic in
-      Http_getter_logger.log (sprintf "LUCA: OK" );
       let oc = open_out output in
       let buf = String.create bufsiz in
       (try