From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 13 May 2005 10:58:53 +0000 (+0000)
Subject: fix bad space
X-Git-Tag: single_binding~72
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=05dcf46345fd3ed72a2a2b55e47113d427e686b4;p=helm.git

fix bad space
---

diff --git a/helm/ocaml/metadata/sqlStatements.ml b/helm/ocaml/metadata/sqlStatements.ml
index 97c7685db..e02e9128b 100644
--- a/helm/ocaml/metadata/sqlStatements.ml
+++ b/helm/ocaml/metadata/sqlStatements.ml
@@ -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 ;