X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate_V7_mowgli%2FMETADATA%2Fsthandler.h;h=e8ee4849ff16907eba386a9c1c971813398c95bf;hb=0de1b960f42ac368414b7405a79e7933445ee8af;hp=5a9cd71439c60c407701f46f6d69c461985f9844;hpb=cb9f345924b8595b2e4922326ff335af133e46ce;p=helm.git

diff --git a/helm/metadata/create_V7_mowgli/METADATA/sthandler.h b/helm/metadata/create_V7_mowgli/METADATA/sthandler.h
index 5a9cd7143..e8ee4849f 100644
--- a/helm/metadata/create_V7_mowgli/METADATA/sthandler.h
+++ b/helm/metadata/create_V7_mowgli/METADATA/sthandler.h
@@ -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);