CicUtil.profile ==> HExtlib.profile

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

diff --git a/helm/ocaml/xml/xml.ml b/helm/ocaml/xml/xml.ml
index 6d6775c6deeccb4c1f11ce3c9e25e755b8a43aef..4439fad1d41f9581f5d0f78e868931ef20226982 100644 (file)
--- a/helm/ocaml/xml/xml.ml
+++ b/helm/ocaml/xml/xml.ml
@@ -101,6 +101,10 @@ let pp_to_outchan strm oc =
   flush oc
 ;;
 
+let pp_to_outchan =
+ let profiler = HExtlib.profile "Xml.pp_to_outchan" in
+  fun strm oc -> profiler.HExtlib.profile (pp_to_outchan strm) oc
+
 let pp_to_gzipchan strm oc =
   pp_gen (fun s -> Gzip.output oc s 0 (String.length s)) strm