* src/reader.c (symbols_output): New, extracted from...

(packsymbols): Here.
(reader): Call it.

diff --git a/ChangeLog b/ChangeLog
index 267fcd3e059902d9ed233876dd72019f7191e795..0a9fbd5437a2c1af718846e1aead694b7e82226c 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2001-11-19  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (symbols_output): New, extracted from...
+       (packsymbols): Here.
+       (reader): Call it.
+

 2001-11-19  Akim Demaille  <akim@epita.fr>
 
        * src/lalr.c (set_maxrhs, maxrhs): Remove, replaced with...
 2001-11-19  Akim Demaille  <akim@epita.fr>
 
        * src/lalr.c (set_maxrhs, maxrhs): Remove, replaced with...

diff --git a/src/reader.c b/src/reader.c
index 6206adca0481b402d4970d20e3b6eaa0d44db96e..eaa2d5338f9f2c5b2f0ad3a3e108a4350f56f384 100644 (file)
--- a/src/reader.c
+++ b/src/reader.c
@@ -2041,4 +2041,6 @@ reader (void)
   symbols_output ();
   /* Convert the grammar into the format described in gram.h.  */
   packgram ();
   symbols_output ();
   /* Convert the grammar into the format described in gram.h.  */
   packgram ();

+  /* Output the headers. */
+  symbols_output ();

 }
 }