]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/sqlStatements.mli
added index on refRel and the rename table statements
[helm.git] / helm / ocaml / metadata / sqlStatements.mli
index 05fec142ca0a65c03e7ad3feac076065ffeee578..18e50e209c16bc6d66af00a8723a5ac7de0e169d 100644 (file)
@@ -9,3 +9,4 @@ val drop_tables: (string * tbl) list -> string list
 
 val drop_indexes: (string * tbl) list -> string list
 
+val rename_tables: (string * string) list -> string list