08-fyi-symbols.output.patch

[Akim Demaille]

Index: ChangeLog
from  Akim Demaille  <address@hidden>
        * src/reader.c (reader): Calling symbols_output once is enough.
        
        
Index: src/reader.c
--- src/reader.c Sat, 08 Dec 2001 14:08:51 +0100 akim
+++ src/reader.c Sat, 08 Dec 2001 16:09:40 +0100 akim
@@ -2073,7 +2073,6 @@
   /* Assign the symbols their symbol numbers.  Write #defines for the
      token symbols into FDEFINES if requested.  */
   packsymbols ();
-  symbols_output ();
   /* Convert the grammar into the format described in gram.h.  */
   packgram ();
   /* Output the headers. */