X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fextractor%2Fsthandler.c;h=d028952932a001776758932a1e73e0751f12a125;hb=ba1f274e210f575dc5cd94500611f6bd5ad67186;hp=6f87cdfb5448dd15e45c2dad08376803261639df;hpb=407c75f92f1a641dc49243209cd246f6affd924d;p=helm.git

diff --git a/helm/metadata/extractor/sthandler.c b/helm/metadata/extractor/sthandler.c
index 6f87cdfb5..d02895293 100644
--- a/helm/metadata/extractor/sthandler.c
+++ b/helm/metadata/extractor/sthandler.c
@@ -247,6 +247,10 @@ void print_all(about,conn)
           }
 }
 
+void print_name(char *name, char *uri)
+{
+  printf("INSERT INTO objectName VALUES ('%s', '%s');\n",uri,name);
+}
 
 /****************************************************************/
 /* 5. Definitions of functions local to the module.	        */