From 0106b43bebb022442af9937a22377504034351e3 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 30 Mar 2006 16:40:50 +0000 Subject: [PATCH] Less profiling. --- components/cic/cicUniv.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/components/cic/cicUniv.ml b/components/cic/cicUniv.ml index b77830954..0d75caf89 100644 --- a/components/cic/cicUniv.ml +++ b/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