diff --git a/ChangeLog b/ChangeLog index a48a2ac7..0ca5b112 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2001-12-11 Marc Autret + + * src/output.c (output_parser): Remove useless muscle. + 2001-12-11 Marc Autret * src/bison.simple: Remove #line just before %%epilogue. It diff --git a/src/output.c b/src/output.c index 3833ec9e..b1dd19c0 100644 --- a/src/output.c +++ b/src/output.c @@ -959,10 +959,6 @@ output_parser (const char *skel_filename, struct obstack *oout) obstack_sgrow (oout, muscle_value); else if (!strcmp (muscle_key, "line")) obstack_fgrow1 (oout, "%d", line + 1); - /* How can lineno be correct after having finished reading - input file ? --Marc. */ - else if (!strcmp (muscle_key, "input-line")) - obstack_fgrow1 (oout, "%d", lineno); else { obstack_sgrow (oout, "%%");