From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 23 Sep 2005 14:14:05 +0000 (+0000)
Subject: Profiling code removed.
X-Git-Tag: LAST_BEFORE_NEW~30
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bcdb758e427ad80a286fc8bffd4c6f6b3b772e8b;p=helm.git

Profiling code removed.
---

diff --git a/helm/ocaml/metadata/metadataDb.ml b/helm/ocaml/metadata/metadataDb.ml
index 2fdfb49fd..8d963bfc4 100644
--- a/helm/ocaml/metadata/metadataDb.ml
+++ b/helm/ocaml/metadata/metadataDb.ml
@@ -142,27 +142,15 @@ let eventually_analyze dbd =
   
 (***** TENTATIVE HACK FOR THE DB SLOWDOWN - END *******)
 
-let profile = (CicUtil.profile "foo").CicUtil.profile
-let profile2 = (CicUtil.profile "foo2").CicUtil.profile
-let profile3 = (CicUtil.profile "foo3").CicUtil.profile
-
 let index_obj ~dbd ~uri = 
   if not (already_indexed uri) then begin
-let foo () =
     eventually_analyze dbd;
-in profile3 foo ();
-    let metadata =
-let foo () =
-MetadataExtractor.compute_obj uri in
-profile2 foo () in
+    let metadata = MetadataExtractor.compute_obj uri in
     let uri = UriManager.string_of_uri uri in
-    let columns =
-MetadataPp.columns_of_metadata metadata in
-let foo () =
+    let columns = MetadataPp.columns_of_metadata metadata in
     execute_insert dbd uri (columns :> columns);
     insert_const_no ~dbd metadata;
     insert_name ~dbd metadata
-in profile foo ()
   end