]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/sqlStatements.ml
fix bad space
[helm.git] / 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 ;