From db48e1ca9a2c0db7e8101367ec98e4ff2f1c069c Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 13 Apr 2006 11:10:27 +0000 Subject: [PATCH] Profiling code commented out. --- helm/software/components/cic_proof_checking/cicUnivUtils.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/helm/software/components/cic_proof_checking/cicUnivUtils.ml b/helm/software/components/cic_proof_checking/cicUnivUtils.ml index cd1aeba32..cbc87e98a 100644 --- a/helm/software/components/cic_proof_checking/cicUnivUtils.ml +++ b/helm/software/components/cic_proof_checking/cicUnivUtils.ml @@ -132,8 +132,6 @@ let rec list_uniq = function let list_uniq l = list_uniq (List.fast_sort CicUniv.compare l) -let profiler = (HExtlib.profile "clean_and_fill").HExtlib.profile - let clean_and_fill uri obj ugraph = (* universes of obj fills the universes of the obj with the right uri *) let list_of_universes, obj = universes_of_obj uri obj in @@ -148,6 +146,8 @@ let clean_and_fill uri obj ugraph = in ugraph, list_of_universes, obj +(* +let profiler = (HExtlib.profile "clean_and_fill").HExtlib.profile let clean_and_fill u o g = profiler (clean_and_fill u o) g - +*) -- 2.39.2