X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate_V7_mowgli%2FMETADATA%2Fsthandler_ind.h;h=2536b0f603f64eade1f9f7c3628122dd8aa0dd78;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=24d944706c0fc01f04457e3666c37e7d26d3332f;hpb=0e6b8620b9c128c3f256c00b422cee7708321171;p=helm.git

diff --git a/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.h b/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.h
index 24d944706..2536b0f60 100644
--- a/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.h
+++ b/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.h
@@ -4,5 +4,5 @@
 
             
 extern  void            init_symbol_table();
-extern  void            print_all(FILE *out);
-extern  int             search_bucket(char *, int);
+extern  void            print_all(char *, FILE *, FILE *, FILE *);
+extern  int             search_bucket(char *, int, int);