From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 19 Jul 2007 10:02:11 +0000 (+0000)
Subject: the cade was escaping the table name and not the uri
X-Git-Tag: make_still_working~6155
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9c67eded501cab6f8284d9afb3a3fcbeb8f8ec8b;p=helm.git

the cade was escaping the table name and not the uri
---

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))