]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/xml/xml.ml
fixed Gzip bug in Xml.pp
[helm.git] / helm / ocaml / xml / xml.ml
index 64c066a1eacf1a611396bd5427fdddfede8a6097..cee7ccd6d187249b7ac2a4c3736c70a9efe01faf 100644 (file)
@@ -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 =