From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 30 Mar 2006 16:40:50 +0000 (+0000)
Subject: Less profiling.
X-Git-Tag: make_still_working~7440
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d0212d7627d3e135c224ffaa30b03ee1969a4578;p=helm.git

Less profiling.
---

diff --git a/helm/software/components/cic/cicUniv.ml b/helm/software/components/cic/cicUniv.ml
index b77830954..0d75caf89 100644
--- a/helm/software/components/cic/cicUniv.ml
+++ b/helm/software/components/cic/cicUniv.ml
@@ -554,6 +554,7 @@ let add_gt ?(fast=(!fast_implementation)) u v (b,already_contained) =
   end_spending ();
     rc,already_contained
     
+(* profiling code
 let profiler_eq = HExtlib.profile "CicUniv.add_eq"
 let profiler_ge = HExtlib.profile "CicUniv.add_ge"
 let profiler_gt = HExtlib.profile "CicUniv.add_gt"
@@ -563,6 +564,7 @@ let add_ge ?fast u v b =
   profiler_ge.HExtlib.profile (fun _ -> add_ge ?fast u v b) ()
 let add_eq ?fast u v b = 
   profiler_eq.HExtlib.profile (fun _ -> add_eq ?fast u v b) ()
+*)
 
 (*****************************************************************************)
 (** END: Decomment this for performance comparisons                         **)