X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/331dbc1bb7fac0b108adc5591bd9308a39629287..7742ddebf1f73cc15138d41c11a39f32b43c3ef5:/src/reader.c

diff --git a/src/reader.c b/src/reader.c
index 4fa1aaea..9bec971a 100644
--- a/src/reader.c
+++ b/src/reader.c
@@ -1738,12 +1738,12 @@ symbols_save (void)
       if (c != '\0')
 	continue;
 
-      obstack_fgrow2 (&tokendefs, "# define\t%s\t%d\n",
+      obstack_fgrow2 (&tokendefs, "# define %s\t%d\n",
 		      symbol, bp->user_token_number);
       if (semantic_parser)
 	/* FIXME: This is probably wrong, and should be just as
 	   above. --akim.  */
-	obstack_fgrow2 (&tokendefs, "# define\tT%s\t%d\n", symbol, bp->value);
+	obstack_fgrow2 (&tokendefs, "# define T%s\t%d\n", symbol, bp->value);
     }
 
   obstack_1grow (&tokendefs, 0);