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

diff --git a/helm/metadata/create_V7_mowgli/METADATA/sthandler.h b/helm/metadata/create_V7_mowgli/METADATA/sthandler.h
index 9c98992ce..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();
-extern  int             search_bucket(char *, int);
+extern  void            print_all(char *, PGconn *);
+extern  int             search_bucket(char *, int, int);