X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2FcicUtil.ml;h=8de1ce2a2db70e5fa0bea9d3023e964f4eb2977c;hb=577cd769f88edc9aa851f117df7f83909c95a06c;hp=d3fcffd8039235c101bd850492d7a7b55c4be082;hpb=f85e6f52232af229b80a8447492cfae80f95d832;p=helm.git

diff --git a/helm/ocaml/cic/cicUtil.ml b/helm/ocaml/cic/cicUtil.ml
index d3fcffd80..8de1ce2a2 100644
--- a/helm/ocaml/cic/cicUtil.ml
+++ b/helm/ocaml/cic/cicUtil.ml
@@ -224,3 +224,6 @@ let profile =
      print_endline
       ("!! TOTAL TIME SPENT IN " ^ s ^ ": " ^ string_of_float !total));
   profile
+
+  (** WARNING: COMMENT THIS TO ENABLE PROFILING **)
+let profile _ = let profile f x = f x in profile