1. Parameter enable (default true) added to HExtlib.profile

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

diff --git a/helm/ocaml/extlib/hExtlib.ml b/helm/ocaml/extlib/hExtlib.ml
index 9f4f2d9c904bef51d1c3121eeeec90aad4ca050e..052205da823f3a524375eb32304fa1947af3c305 100644 (file)
--- a/helm/ocaml/extlib/hExtlib.ml
+++ b/helm/ocaml/extlib/hExtlib.ml
@@ -29,8 +29,8 @@
 let profiling_enabled = true
 
 type profiler = { profile : 'a 'b. ('a -> 'b) -> 'a -> 'b }
-let profile =
- if profiling_enabled then
+let profile ?(enable = true) =
+ if profiling_enabled && enable then
   function s ->
    let total = ref 0.0 in
    let profile f x =