X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2FcicUtil.ml;h=81834251577822662c5121c70ea0cf98a11aaf5f;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=7269e1f843dcdba470e4af8b4ee66cd45b8f8b27;hpb=a7c501b62c6d05350b4a98384f85aa35695f2ab8;p=helm.git

diff --git a/helm/ocaml/cic/cicUtil.ml b/helm/ocaml/cic/cicUtil.ml
index 7269e1f84..818342515 100644
--- a/helm/ocaml/cic/cicUtil.ml
+++ b/helm/ocaml/cic/cicUtil.ml
@@ -209,22 +209,6 @@ let rec mk_rels howmany from =
   | 0 -> []
   | _ -> (Cic.Rel (howmany + from)) :: (mk_rels (howmany-1) from)
 
-let profile =
- function s ->
-  let total = ref 0.0 in
-  let profile f x =
-   let before = Unix.gettimeofday () in
-   let res = f x in
-   let after = Unix.gettimeofday () in
-    total := !total +. (after -. before);
-    res
-  in
-  at_exit
-   (fun () ->
-     print_endline
-      ("!! TOTAL TIME SPENT IN " ^ s ^ ": " ^ string_of_float !total));
-  profile
-
 let id_of_annterm =
   function
   | Cic.ARel (id,_,_,_)
@@ -243,7 +227,3 @@ let id_of_annterm =
   | Cic.AMutCase (id,_,_,_,_,_)
   | Cic.AFix (id,_,_)
   | Cic.ACoFix (id,_,_) -> id
-
-  (** WARNING: COMMENT THIS TO ENABLE PROFILING **)
-let profile _ = let profile f x = f x in profile
-