X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fxml%2Fxml.ml;h=cee7ccd6d187249b7ac2a4c3736c70a9efe01faf;hb=6912a028bef118d8e9d7c2847200510a9b055c6a;hp=64c066a1eacf1a611396bd5427fdddfede8a6097;hpb=cdef799a0e2e3c7db8bb2b95cd124767a4126c61;p=helm.git

diff --git a/helm/ocaml/xml/xml.ml b/helm/ocaml/xml/xml.ml
index 64c066a1e..cee7ccd6d 100644
--- a/helm/ocaml/xml/xml.ml
+++ b/helm/ocaml/xml/xml.ml
@@ -102,8 +102,7 @@ let pp_to_outchan strm oc =
 ;;
 
 let pp_to_gzipchan strm oc =
-  pp_gen (fun s -> Gzip.output oc s 0 (String.length s)) strm;
-  Gzip.flush oc
+  pp_gen (fun s -> Gzip.output oc s 0 (String.length s)) strm
 
 (** pretty printer to string *)
 let pp_to_string strm =