* data/Makefile.am (dist_pkgdata_DATA): Remove push.c.

[bison.git] / src / reduce.h

diff --git a/src/reduce.h b/src/reduce.h
index aaa2bab137b7307d264f82ee5e629cbdc422557b..3d039ef59b7b336becc9084991ed5ff67f2d587a 100644 (file)
--- a/src/reduce.h
+++ b/src/reduce.h
@@ -22,7 +22,8 @@
 
 void reduce_grammar (void);
 void reduce_output (FILE *out);
 
 void reduce_grammar (void);
 void reduce_output (FILE *out);

-void reduce_xml (FILE *out, int level);
+bool reduce_token_unused_in_grammar (symbol_number i);
+bool reduce_nonterminal_useless_in_grammar (symbol_number i);

 void reduce_free (void);
 
 extern symbol_number nuseless_nonterminals;
 void reduce_free (void);
 
 extern symbol_number nuseless_nonterminals;