Taken from upstream:
    https://github.com/mCRL2org/mCRL2/commit/435421429dde9dcc5956e8a978597111a3947ec1

Fixes bug in ltscompare:
    https://listserver.tue.nl/pipermail/mcrl2-users/2022-June/000396.html

From 435421429dde9dcc5956e8a978597111a3947ec1 Mon Sep 17 00:00:00 2001
From: Maurice Laveaux <m.laveaux@tue.nl>
Date: Wed, 29 Jun 2022 10:27:58 +0200
Subject: [PATCH] Write counterexample's structured output trace on single
 line.

---
 libraries/lts/include/mcrl2/lts/detail/counter_example.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libraries/lts/include/mcrl2/lts/detail/counter_example.h b/libraries/lts/include/mcrl2/lts/detail/counter_example.h
index c339cfde4..ca3967768 100644
--- a/libraries/lts/include/mcrl2/lts/detail/counter_example.h
+++ b/libraries/lts/include/mcrl2/lts/detail/counter_example.h
@@ -139,7 +139,7 @@ class counter_example_constructor
       if (m_structured_output)
       {
         std::cout << m_name << ": ";
-        result.save("", mcrl2::lts::trace::tfPlain);   // Write to stdout. 
+        result.save("", mcrl2::lts::trace::tfLine);   // Write to stdout.
       }
       else
       {
-- 
2.35.1

guix/tree/nix?id=34cf1f451e30727b8af1de8c5e033852664e30a1'>tree</a><a href='/guix/commit/nix?id=34cf1f451e30727b8af1de8c5e033852664e30a1'>commit</a><a href='/guix/diff/nix?id=34cf1f451e30727b8af1de8c5e033852664e30a1'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/nix'>
<input type='hidden' name='id' value='34cf1f451e30727b8af1de8c5e033852664e30a1'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=34cf1f451e30727b8af1de8c5e033852664e30a1'>root</a>/<a href='/guix/log/nix?id=34cf1f451e30727b8af1de8c5e033852664e30a1'>nix</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/nix?id=34cf1f451e30727b8af1de8c5e033852664e30a1&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2021-09-20 14:18:21 +0000'>2021-09-20</span></td><td><a href='/guix/commit/nix?id=5c4fd77097e2cecfd4780e099af7954f86779fe1'>etc: Add systemd files for running ‘guix gc’ periodically</a><span class='msg-avail'>...</span></td><td>Thiago Jung Bauermann</td></tr>