X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fextractor%2Fsthandler.h;h=f4e8284d5fc60257abfc3ed2dcdc9148f0cb442f;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=b0305d1eca65a70b332e03035073f4e7dcc0d2c2;hpb=407c75f92f1a641dc49243209cd246f6affd924d;p=helm.git

diff --git a/helm/metadata/extractor/sthandler.h b/helm/metadata/extractor/sthandler.h
index b0305d1ec..f4e8284d5 100644
--- a/helm/metadata/extractor/sthandler.h
+++ b/helm/metadata/extractor/sthandler.h
@@ -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);