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

diff --git a/helm/metadata/extractor/sthandler.h b/helm/metadata/extractor/sthandler.h
new file mode 100644
index 000000000..b0305d1ec
--- /dev/null
+++ b/helm/metadata/extractor/sthandler.h
@@ -0,0 +1,8 @@
+/****************************************************************/
+/*			     STHANDLER.H			*/
+/****************************************************************/
+
+            
+extern  void            init_symbol_table();
+extern  void            print_all(char *);
+extern  int             search_bucket(char *, int, int);