From d3c4e709ff473cd0dd3b4e6cc93be41e812e2586 Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Mon, 18 Nov 2002 09:33:22 +0000 Subject: [PATCH] * doc/bison.texinfo (Tracing): `yyprint' shouldn't prepend a space. From Tim Van Holder. --- ChangeLog | 6 ++++++ THANKS | 1 + doc/bison.texinfo | 4 ++-- 3 files changed, 9 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 70b1dc54..3ed71584 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2002-11-18 Akim Demaille + + * doc/bison.texinfo (Tracing): `yyprint' shouldn't prepend a + space. + From Tim Van Holder. + 2002-11-16 Akim Demaille Augment the similarity between GLR and LALR traces. diff --git a/THANKS b/THANKS index e343d00c..8da95288 100644 --- a/THANKS +++ b/THANKS @@ -56,6 +56,7 @@ Richard Stallman rms@gnu.org Robert Anisko anisko_r@epita.fr Shura debil_urod@ngs.ru Tim Josling tej@melbpc.org.au +Tim Van Holder tim.van.holder@pandora.be Tom Lane tgl@sss.pgh.pa.us Tom Tromey tromey@cygnus.com Wayne Green wayne@infosavvy.com diff --git a/doc/bison.texinfo b/doc/bison.texinfo index affc3b62..f3a55080 100644 --- a/doc/bison.texinfo +++ b/doc/bison.texinfo @@ -5986,9 +5986,9 @@ static void yyprint (FILE *file, int type, YYSTYPE value) @{ if (type == VAR) - fprintf (file, " %s", value.tptr->name); + fprintf (file, "%s", value.tptr->name); else if (type == NUM) - fprintf (file, " %d", value.val); + fprintf (file, "%d", value.val); @} @end smallexample -- 2.47.2