]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/extractor/extractor.ml
now the extractor manager renames the tables (old tables are renamed to _BACKUP)
[helm.git] / helm / ocaml / metadata / extractor / extractor.ml
index c1ade99ea774dcf20311c7c3c86d48501643455b..8511c37d16ef55e625d6f726165badd6eb7f30cb 100644 (file)
@@ -68,7 +68,8 @@ let main () =
      (Unix.getpid ()) !i len perc short;
     flush stdout;
     let uri = UriManager.uri_of_string u in
-    MetadataDb.index_obj ~dbd ~uri)
+    MetadataDb.index_obj ~dbd ~uri;
+    CicEnvironment.empty ())
   uris;
   print_string "END "; Unix.system "date"
 ;;