X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Ftable_creator%2Ftable_creator.ml;h=c735fe67f414ad40aee655a07add494ee4c7e577;hb=a7237500e8a2a4237a6ae8ba4b8301f7bbcb6acb;hp=423edfb275850908fec3e2d8cff502f50dc99e60;hpb=aef659e5893b4bf8c8544d0c54714e10f5b5493a;p=helm.git

diff --git a/helm/software/components/binaries/table_creator/table_creator.ml b/helm/software/components/binaries/table_creator/table_creator.ml
index 423edfb27..c735fe67f 100644
--- a/helm/software/components/binaries/table_creator/table_creator.ml
+++ b/helm/software/components/binaries/table_creator/table_creator.ml
@@ -50,10 +50,14 @@ let main () =
     begin
       let tab,idx,fill =
         if am_i_destructor () then
-          (SqlStatements.drop_tables,SqlStatements.drop_indexes,
+          (SqlStatements.drop_tables,
+            (fun x ->
+              let dbd = HSql.fake_db_for_mysql HSql.Library in     
+              SqlStatements.drop_indexes x HSql.Library dbd),
            fun _ t -> [sprintf "DELETE * FROM %s;" t])
         else
-          (SqlStatements.create_tables,SqlStatements.create_indexes,
+          (SqlStatements.create_tables, 
+           SqlStatements.create_indexes, 
            SqlStatements.fill_hits)
       in
       let from = 2 in