]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create_V7_mowgli/METADATA/sthandler.h
* new version of metadata extraction
[helm.git] / helm / metadata / create_V7_mowgli / METADATA / sthandler.h
index 5a9cd71439c60c407701f46f6d69c461985f9844..e8ee4849ff16907eba386a9c1c971813398c95bf 100644 (file)
@@ -4,5 +4,5 @@
 
             
 extern  void            init_symbol_table();
-extern  void            print_all(char *, FILE *, FILE *);
+extern  void            print_all(char *, PGconn *);
 extern  int             search_bucket(char *, int, int);