X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate_V7_mowgli%2FMETADATA%2Fsthandler.h;h=5a9cd71439c60c407701f46f6d69c461985f9844;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;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..5a9cd7143 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 *, FILE *, FILE *);
+extern  int             search_bucket(char *, int, int);