| commit | 2f554e62604ff9e5944f5d56842132c74697b70c | |
| author | Akim Demaille <akim.demaille@gmail.com> | |
| Sat, 16 Jan 2021 13:37:05 +0000 (16 14:37 +0100) | ||
| committer | Akim Demaille <akim.demaille@gmail.com> | |
| Sat, 23 Jan 2021 09:42:52 +0000 (23 10:42 +0100) | ||
| tree | 731a958d9b7eb11a3ba72cea86c4dcf9fc764543 | treesnapshot (tar.gz zip) |
| parent | 7a31b6bb7f24d925851be1849dbf1dbbd3b69826 | commitdiff |
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.
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.
| src/lssi.c | diffblobblamehistory | |
| src/state-item.c | diffblobblamehistory |