]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.h
Initial revision
[helm.git] / helm / metadata / create_V7_mowgli / METADATA / sthandler_ind.h
index 24d944706c0fc01f04457e3666c37e7d26d3332f..2536b0f603f64eade1f9f7c3628122dd8aa0dd78 100644 (file)
@@ -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);