X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2FsqlStatements.mli;h=05fec142ca0a65c03e7ad3feac076065ffeee578;hb=c29e258ee426d0216b3fcf3e561ccf8fc206440d;hp=caf1e037b50aa9650d4064a04db806b4449e2562;hpb=a268d7377c1d4ddae4229f5844125f827325c78a;p=helm.git

diff --git a/helm/ocaml/metadata/sqlStatements.mli b/helm/ocaml/metadata/sqlStatements.mli
index caf1e037b..05fec142c 100644
--- a/helm/ocaml/metadata/sqlStatements.mli
+++ b/helm/ocaml/metadata/sqlStatements.mli
@@ -1,7 +1,11 @@
 
 type tbl = [ `RefObj| `RefSort| `RefRel| `ObjectName| `Owners| `Count]
 
-val create_tables: (string * tbl) list -> string
+val create_tables: (string * tbl) list -> string list
     
-val create_indexes: (string * tbl) list -> string
+val create_indexes: (string * tbl) list -> string list
+
+val drop_tables: (string * tbl) list -> string list
+
+val drop_indexes: (string * tbl) list -> string list