]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/extractor/sthandler.h
ocaml 3.09 transition
[helm.git] / helm / metadata / extractor / sthandler.h
index b0305d1eca65a70b332e03035073f4e7dcc0d2c2..f4e8284d5fc60257abfc3ed2dcdc9148f0cb442f 100644 (file)
@@ -5,4 +5,5 @@
             
 extern  void            init_symbol_table();
 extern  void            print_all(char *);
+extern  void            print_name(char *, char *);
 extern  int             search_bucket(char *, int, int);