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: 0.4.95@7852~306
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=51e73d704c8397356644af767ae936e4b3a82dbe;p=helm.git

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

diff --git a/components/metadata/sqlStatements.ml b/components/metadata/sqlStatements.ml
index 2164f5724..f96b877a4 100644
--- a/components/metadata/sqlStatements.ml
+++ b/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))