X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Fmetadata%2FsqlStatements.ml;h=86cffbd1be7f610476aa935c3948f999cfadc43d;hb=020ec6bc6c14c1e39b2564da314a6079bb34f79c;hp=5469aebb8ab1387bc5f1a672bcc793f682864db8;hpb=e1b2215f8df16ec48f634bf19d0f2e7e3305d189;p=helm.git

diff --git a/components/metadata/sqlStatements.ml b/components/metadata/sqlStatements.ml
index 5469aebb8..86cffbd1b 100644
--- a/components/metadata/sqlStatements.ml
+++ b/components/metadata/sqlStatements.ml
@@ -205,10 +205,10 @@ let move_content (name1, tbl1) (name2, tbl2) buri =
     name2 name1 (HMysql.escape buri)
 
 let direct_deps refObj uri =
-  sprintf "SELECT * FROM %s WHERE source = '%s';"
+  sprintf "SELECT * FROM %s WHERE source = \"%s\";"
     (HMysql.escape refObj) (UriManager.string_of_uri uri)
 
 let inverse_deps refObj uri =
-  sprintf "SELECT * FROM %s WHERE h_occurrence = '%s';"
+  sprintf "SELECT * FROM %s WHERE h_occurrence = \"%s\";"
     (HMysql.escape refObj) (UriManager.string_of_uri uri)