diff --git a/ChangeLog b/ChangeLog index bbca444b..eb416081 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2001-12-15 Marc Autret + + * src/output.c (output_gram): Keep track of the hairy one. + 2001-12-15 Akim Demaille Make `make distcheck' work. diff --git a/src/output.c b/src/output.c index 1820e22d..0396234d 100644 --- a/src/output.c +++ b/src/output.c @@ -197,6 +197,11 @@ output_gram (void) XFREE (yyrhs); } + +#if 0 + if (!semantic_parser) + obstack_sgrow (&table_obstack, "\n#endif\n"); +#endif }