X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fmetadata%2FsqlStatements.ml;h=42fcebec0f65b523f21f0ca89f5d82d6b2bd4820;hb=ee3f8d6fa92b051394a2ff7c71c03ac33a05182b;hp=a08073965fcb2211e2d7ec63caeefdf96dda6c0a;hpb=d8f4d935054a6f9fff6de0c171dc4a181389219e;p=helm.git

diff --git a/helm/software/components/metadata/sqlStatements.ml b/helm/software/components/metadata/sqlStatements.ml
index a08073965..42fcebec0 100644
--- a/helm/software/components/metadata/sqlStatements.ml
+++ b/helm/software/components/metadata/sqlStatements.ml
@@ -198,3 +198,11 @@ let fill_hits refObj hits =
       hits refObj ]
 
 
+let move_content (name1, tbl1) (name2, tbl2) buri =
+  assert (tbl1 = tbl2);
+  sprintf 
+    "INSERT INTRO %s SELECT * FROM %s WHERE source LIKE \"%s%%\";"   
+    name2 name1 buri
+
+
+