From d0212d7627d3e135c224ffaa30b03ee1969a4578 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 30 Mar 2006 16:40:50 +0000 Subject: [PATCH] Less profiling. --- helm/software/components/cic/cicUniv.ml | 2 ++ 1 file changed, 2 insertions(+) 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 **) -- 2.39.2