]> matita.cs.unibo.it Git - helm.git/commitdiff
the cade was escaping the table name and not the uri
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 19 Jul 2007 10:02:11 +0000 (10:02 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 19 Jul 2007 10:02:11 +0000 (10:02 +0000)
components/metadata/sqlStatements.ml

index 2164f5724b52fe50a39fcc9b782e69f4066b8bc9..f96b877a4a262b804f5304f0012f0b484ddb87d8 100644 (file)
@@ -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))