X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2FmetadataDb.ml;h=84e8fad7147e6331b6683081c1f9a3ce4a4a2f8a;hb=fa8d47ad95242f20e1c106f36e2dc83001b18b43;hp=f18787e83a0f3e71b7c9536cc662aae42ba5eef2;hpb=c1554e961d5147b8fde7c47d783603d77fe4576c;p=helm.git

diff --git a/helm/ocaml/metadata/metadataDb.ml b/helm/ocaml/metadata/metadataDb.ml
index f18787e83..84e8fad71 100644
--- a/helm/ocaml/metadata/metadataDb.ml
+++ b/helm/ocaml/metadata/metadataDb.ml
@@ -169,7 +169,7 @@ let eventually_analyze dbd =
   incr analyze_index;
   if !analyze_index > 30 then
     begin
-      let analyze t = "ANALYZE TABLE " ^ t ^ ";" in
+      let analyze t = "OPTIMIZE TABLE " ^ t ^ ";" in
       List.iter 
         (fun table -> ignore (Mysql.exec dbd (analyze table)))
         [name_tbl (); rel_tbl (); sort_tbl (); obj_tbl(); count_tbl()]