added calbback to make the profiler silent

[helm.git] / helm / ocaml / extlib / hExtlib.mli

diff --git a/helm/ocaml/extlib/hExtlib.mli b/helm/ocaml/extlib/hExtlib.mli
index 6e0484b87e3360a22204b8737628dcaeb309fc90..d12c042f56d786af6a99f653ff248b1fb44c6552 100644 (file)
--- a/helm/ocaml/extlib/hExtlib.mli
+++ b/helm/ocaml/extlib/hExtlib.mli
@@ -74,4 +74,5 @@ type profiler = { profile : 'a 'b. ('a -> 'b) -> 'a -> 'b }
   (** @return a profiling function; [s] is used for labelling the total time at
    * the end of the execution *)
 val profile : ?enable:bool -> string -> profiler
+val set_profiling_printings : (unit -> bool) -> unit