]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create_V7_mowgli/METADATA/sthandler.h
debian version 0.5.1-2
[helm.git] / helm / metadata / create_V7_mowgli / METADATA / sthandler.h
index 9c98992ce4d6f8090e4df30e0e378e5b2dee9879..e8ee4849ff16907eba386a9c1c971813398c95bf 100644 (file)
@@ -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);