* doc/bison.texinfo (Tracing): `yyprint' shouldn't prepend a

space.
From Tim Van Holder.

diff --git a/ChangeLog b/ChangeLog
index 70b1dc54c6a4bd865bab9dadf9613377a028f496..3ed7158470e1816c26966d5520f07753c5c32b8f 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2002-11-18  Akim Demaille  <akim@epita.fr>
+
+       * doc/bison.texinfo (Tracing): `yyprint' shouldn't prepend a
+       space.
+       From Tim Van Holder.
+
 2002-11-16  Akim Demaille  <akim@epita.fr>
 
        Augment the similarity between GLR and LALR traces.

diff --git a/THANKS b/THANKS
index e343d00c0ae1d9aac9b1b7df6824122889d3178c..8da95288085e1ec3780ea58f2e37c83df8272f08 100644 (file)
--- 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 affc3b622563e1bc492a1bb28d79d9f9f62b0861..f3a5508062d4bd60d638af961915370111f443fb 100644 (file)
--- 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