]> matita.cs.unibo.it Git - helm.git/commitdiff
fix bad space
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 13 May 2005 10:58:53 +0000 (10:58 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 13 May 2005 10:58:53 +0000 (10:58 +0000)
helm/ocaml/metadata/sqlStatements.ml

index 97c7685db7704ee3aba91643edaecf84cd66f92d..e02e9128bc68a35b6320c31dc274741d334113e0 100644 (file)
@@ -70,7 +70,7 @@ 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]
+sprintf "CREATE INDEX %s_value ON %s (value);" name name]
 
 let sprintf_owners_index name = [
 sprintf "CREATE INDEX %s_owner ON %s (owner);" name name ;