]> matita.cs.unibo.it Git - helm.git/commitdiff
some more statements
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 13 May 2005 10:48:33 +0000 (10:48 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 13 May 2005 10:48:33 +0000 (10:48 +0000)
helm/ocaml/metadata/sqlStatements.ml

index 2c654bd46b4caf028fdcd470201113d6f15f4785..97c7685db7704ee3aba91643edaecf84cd66f92d 100644 (file)
@@ -66,9 +66,8 @@ sprintf "CREATE INDEX %s_source ON %s (source);" name name ;
 sprintf "CREATE INDEX %s_target ON %s (h_occurrence);" name name ;
 sprintf "CREATE INDEX %s_position ON %s (h_position);" name name ]
 
-let sprintf_refSort_index name = [sprintf "
-CREATE INDEX %s_source ON %s (source);
-" name name]
+let sprintf_refSort_index name = [
+sprintf "CREATE INDEX %s_source ON %s (source);" name name]
 
 let sprintf_objectName_index name = [
 sprintf " CREATE INDEX %s_value ON %s (value);" name name]
@@ -93,11 +92,10 @@ sprintf "DROP INDEX %s_target ON %s;" name name ;
 sprintf "DROP INDEX %s_position ON %s;" name name ]
 
 let sprintf_refSort_index_drop name = [
-sprintf "DROP INDEX %s_source ON %s;" name name
-]
+sprintf "DROP INDEX %s_source ON %s;" name name ]
 
 let sprintf_objectName_index_drop name = [
-sprintf " DROP INDEX %s_value ON %s;" name name]
+sprintf "DROP INDEX %s_value ON %s;" name name]
 
 let sprintf_owners_index_drop name = [
 sprintf "DROP INDEX %s_owner ON %s;" name name ;
@@ -109,7 +107,8 @@ sprintf "DROP INDEX %s_conclusion ON %s;" name name;
 sprintf "DROP INDEX %s_hypothesis ON %s;" name name;
 sprintf "DROP INDEX %s_statement ON %s;" name name]
  
-let sprintf_refRel_index_drop name = []
+let sprintf_refRel_index_drop name = [
+sprintf "DROP INDEX %s_source ON %s;" name name]
 
 let sprintf_rename_table oldname newname = [
 sprintf "RENAME TABLE %s TO %s;" oldname newname