]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/extractor/sthandler.c
The metadata extractor now generates also
[helm.git] / helm / metadata / extractor / sthandler.c
index 6f87cdfb5448dd15e45c2dad08376803261639df..d028952932a001776758932a1e73e0751f12a125 100644 (file)
@@ -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.            */