* src/output.c (header_output): Remove, now handled completely via

[bison.git] / src / reader.h

diff --git a/src/reader.h b/src/reader.h
index 3a0b4284edbd234ff1b25eaabb5a1e27bf16fdea..5c6c902739039985f76beb620b5c8558b405ecdf 100644 (file)
--- a/src/reader.h
+++ b/src/reader.h
@@ -31,7 +31,5 @@ extern void reader PARAMS ((void));
 
 
 extern int lineno;
-extern char **tags;
-extern short *user_toknums;
 
 #endif /* !READER_H_ */