X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fmetadata%2FsqlStatements.ml;h=86cffbd1be7f610476aa935c3948f999cfadc43d;hb=73663b52b3e1d8ed2f5936177bcc13b6e6b69997;hp=5469aebb8ab1387bc5f1a672bcc793f682864db8;hpb=39a3a05b745309703a5010d3da3e2a12c7228064;p=helm.git

diff --git a/helm/software/components/metadata/sqlStatements.ml b/helm/software/components/metadata/sqlStatements.ml
index 5469aebb8..86cffbd1b 100644
--- a/helm/software/components/metadata/sqlStatements.ml
+++ b/helm/software/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)