]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create_V7_mowgli/METADATA/sthandler.h
Initial revision
[helm.git] / helm / metadata / create_V7_mowgli / METADATA / sthandler.h
index 9c98992ce4d6f8090e4df30e0e378e5b2dee9879..5a9cd71439c60c407701f46f6d69c461985f9844 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 *, FILE *, FILE *);
+extern  int             search_bucket(char *, int, int);