X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fmetadata%2FsqlStatements.ml;h=f96b877a4a262b804f5304f0012f0b484ddb87d8;hb=7f9e313fe5ae4200f080f481a6b8b795a0618093;hp=2164f5724b52fe50a39fcc9b782e69f4066b8bc9;hpb=111df95ac03f2ee21dfa2422a7f531f675b1c16d;p=helm.git

diff --git a/helm/software/components/metadata/sqlStatements.ml b/helm/software/components/metadata/sqlStatements.ml
index 2164f5724..f96b877a4 100644
--- a/helm/software/components/metadata/sqlStatements.ml
+++ b/helm/software/components/metadata/sqlStatements.ml
@@ -213,9 +213,9 @@ let move_content (name1, tbl1) (name2, tbl2) buri dtype dbd  =
 
 let direct_deps refObj uri dtype dbd =
   sprintf "SELECT * FROM %s WHERE source = \"%s\";"
-    (HSql.escape dtype dbd refObj) (UriManager.string_of_uri uri)
+    refObj (HSql.escape dtype dbd (UriManager.string_of_uri uri))
 
 let inverse_deps refObj uri dtype dbd =
   sprintf "SELECT * FROM %s WHERE h_occurrence = \"%s\";"
-    (HSql.escape dtype dbd refObj) (UriManager.string_of_uri uri)
+    refObj (HSql.escape dtype dbd (UriManager.string_of_uri uri))