diff options
| -rw-r--r-- | gcc/genautomata.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gcc/genautomata.c b/gcc/genautomata.c index 9015f8c..e72b52c 100644 --- a/gcc/genautomata.c +++ b/gcc/genautomata.c @@ -9358,9 +9358,8 @@ output_description () decl = description->decls [i]; if (decl->mode == dm_reserv) { - fprintf (output_description_file, "reservation "); - fprintf (output_description_file, "%s", DECL_RESERV (decl)->name); - fprintf (output_description_file, ": "); + fprintf (output_description_file, "reservation %s: ", + DECL_RESERV (decl)->name); output_regexp (DECL_RESERV (decl)->regexp); fprintf (output_description_file, "\n"); } |