X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2Fextractor%2Fextractor_manager.ml;h=3200a2600df54cc9904670aa4ad3383575c2572f;hb=de4483296d06aac3df4da10d5401b1f97c4350ab;hp=dc8fcb7e72ad9908f517ec8ace552c876ffca7b3;hpb=8e8dcd3aa99386578b4002a09696884f61941306;p=helm.git

diff --git a/helm/ocaml/metadata/extractor/extractor_manager.ml b/helm/ocaml/metadata/extractor/extractor_manager.ml
index dc8fcb7e7..3200a2600 100644
--- a/helm/ocaml/metadata/extractor/extractor_manager.ml
+++ b/helm/ocaml/metadata/extractor/extractor_manager.ml
@@ -203,6 +203,7 @@ let main () =
       let rel_tbl = MetadataTypes.library_rel_tbl in
       let name_tbl =  MetadataTypes.library_name_tbl in
       let count_tbl = MetadataTypes.library_count_tbl in
+      let hits_tbl = MetadataTypes.library_hits_tbl in
       let obj_tbl_b = obj_tbl ^ "_BACKUP" in     
       let sort_tbl_b = sort_tbl ^ "_BACKUP" in     
       let rel_tbl_b = rel_tbl ^ "_BACKUP" in
@@ -243,12 +244,16 @@ let main () =
           (rel_tbl_c,rel_tbl);
           (name_tbl_c,name_tbl);
           (count_tbl_c,count_tbl) ] @
+        SqlStatements.create_tables [
+          (hits_tbl,`Hits) ] @
+        SqlStatements.fill_hits obj_tbl hits_tbl @
         SqlStatements.create_indexes [
           (obj_tbl,`RefObj);
           (sort_tbl,`RefSort);
           (rel_tbl,`RefRel);
           (name_tbl,`ObjectName);
-          (count_tbl,`Count) ]
+          (count_tbl,`Count);
+          (hits_tbl,`Hits) ]
       in
         List.iter (fun statement -> 
           try