ocaml 3.09 transition

[helm.git] / helm / ocaml / xml / xml.ml

diff --git a/helm/ocaml/xml/xml.ml b/helm/ocaml/xml/xml.ml
index 6d6775c6deeccb4c1f11ce3c9e25e755b8a43aef..42ce7ba571564c7a80c12de4feeaa7a417a47e51 100644 (file)
--- a/helm/ocaml/xml/xml.ml
+++ b/helm/ocaml/xml/xml.ml
@@ -103,6 +103,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
+;;
 
 (** pretty printer to string *)
 let pp_to_string strm =
@@ -140,6 +141,12 @@ let pp ?(gzip=false) strm fn =
     | None -> pp_to_outchan strm stdout
 ;;
 
+let pp =
+ let profiler = HExtlib.profile "Xml.pp" in
+  fun ?gzip strm fn ->
+   profiler.HExtlib.profile (pp ?gzip strm) fn
+;;
+
 let add_xml_declaration stream =
   let box_prefix = "b" in
   [<