]> matita.cs.unibo.it Git - helm.git/blobdiff - components/metadata/sqlStatements.ml
many changes:
[helm.git] / components / metadata / sqlStatements.ml
index ddc494c4abfaf89ed93ce0e61487c0dacd26b2df..5ba5429b71199b96b6b8e25d712a1b4a5ccd7508 100644 (file)
@@ -202,10 +202,13 @@ let fill_hits refObj hits =
 
 
 let move_content (name1, tbl1) (name2, tbl2) buri =
+  let escape s =
+      Pcre.replace ~pat:"([^\\\\])_" ~templ:"$1\\_" (HSql.escape s)
+  in
   assert (tbl1 = tbl2);
   sprintf 
     "INSERT INTRO %s SELECT * FROM %s WHERE source LIKE \"%s%%\";"   
-    name2 name1 (HSql.escape buri)
+    name2 name1 (escape buri)
 
 let direct_deps refObj uri =
   sprintf "SELECT * FROM %s WHERE source = \"%s\";"