diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2021-01-16 14:37:05 +0100 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2021-01-23 10:42:52 +0100 |
commit | 2f554e62604ff9e5944f5d56842132c74697b70c (patch) | |
tree | 731a958d9b7eb11a3ba72cea86c4dcf9fc764543 /src | |
parent | 7a31b6bb7f24d925851be1849dbf1dbbd3b69826 (diff) | |
download | bison-2f554e62604ff9e5944f5d56842132c74697b70c.tar.gz |
cex: fix traces: add missing end-of-lines
In 430ca0fc632f5e8072fe468b8a99c640985f6926, I completely forgot that
`puts` adds a `\n`.
* src/lssi.c, src/state-item.c: Restore missing end-of-lines in the
output.
Diffstat (limited to 'src')
-rw-r--r-- | src/lssi.c | 4 | ||||
-rw-r--r-- | src/state-item.c | 6 |
2 files changed, 6 insertions, 4 deletions
@@ -111,7 +111,7 @@ lssi_print (lssi *l) symbol_number sin; BITSET_FOR_EACH (biter, l->lookahead, sin, 0) fprintf (out, "%s, \n", symbols[sin]->tag); - fprintf (out, "}"); + fprintf (out, "}\n"); } } #endif @@ -253,7 +253,7 @@ shortest_path_from_start (state_item_number target, symbol_number next_sym) if (trace_flag & trace_cex) { - fputs ("REDUCE ITEM PATH:", stderr); + fputs ("REDUCE ITEM PATH:\n", stderr); gl_list_iterator_t it = gl_list_iterator (res); const void *sip; while (gl_list_iterator_next (&it, &sip, NULL)) diff --git a/src/state-item.c b/src/state-item.c index 5080a4c8..5ca9795a 100644 --- a/src/state-item.c +++ b/src/state-item.c @@ -499,9 +499,10 @@ state_items_report (FILE *out) if (SI_DISABLED (j)) { item_print (si->item, NULL, out); - fputs (" DISABLED", out); + fputs (" DISABLED\n", out); continue; } + putc ('\n', out); if (si->trans >= 0) { fputs (" -> ", out); @@ -524,6 +525,7 @@ state_items_report (FILE *out) } } } + putc ('\n', out); } } fprintf (out, "FIRSTS\n"); @@ -535,7 +537,7 @@ state_items_report (FILE *out) BITSET_FOR_EACH (iter, FIRSTS (i), j, 0) fprintf (out, " %s\n", symbols[j]->tag); } - fputc ('\n', out); + fputs ("\n\n", out); } void |