X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fextlib%2FhExtlib.mli;h=376cb448ab204d19a50873b6fa69ad8fcb765d7c;hb=82d56e6d22560ffb111c63cfdf0e200c8fa6fd3d;hp=32fb59d473942a2f4ac61a72b07dacd391c4a18e;hpb=0a0be269948344318ebbab5593b458aa95313df8;p=helm.git

diff --git a/helm/ocaml/extlib/hExtlib.mli b/helm/ocaml/extlib/hExtlib.mli
index 32fb59d47..376cb448a 100644
--- a/helm/ocaml/extlib/hExtlib.mli
+++ b/helm/ocaml/extlib/hExtlib.mli
@@ -65,5 +65,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 : string -> profiler
+val profile : ?enable:bool -> string -> profiler