cex: fix traces

In 430ca0fc63, I completely forgot that
`puts` adds a `\n`.

* src/lssi.c, src/state-item.c: Restore missing end-of-lines in the
output.
This commit is contained in:
Akim Demaille
2021-01-16 14:37:05 +01:00
parent 17fb1d0377
commit a9911528e0
2 changed files with 6 additions and 4 deletions

View File

@@ -505,9 +505,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);
@@ -530,6 +531,7 @@ state_items_report (FILE *out)
}
}
}
putc ('\n', out);
}
}
fprintf (out, "FIRSTS\n");
@@ -541,7 +543,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