removed profiling function (now a stub is used instead)

[helm.git] / helm / ocaml / cic / cicUtil.ml

diff --git a/helm/ocaml/cic/cicUtil.ml b/helm/ocaml/cic/cicUtil.ml
index d3fcffd8039235c101bd850492d7a7b55c4be082..8de1ce2a2db70e5fa0bea9d3023e964f4eb2977c 100644 (file)
--- 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