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

active' href='/guix/log/etc/guix-daemon.service.in'>log</a><a href='/guix/tree/etc/guix-daemon.service.in?id=423d5964eb62cc8992f0b9c59016253e4d5bea42'>tree</a><a href='/guix/commit/etc/guix-daemon.service.in?id=423d5964eb62cc8992f0b9c59016253e4d5bea42'>commit</a><a href='/guix/diff/etc/guix-daemon.service.in?id=423d5964eb62cc8992f0b9c59016253e4d5bea42'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/etc/guix-daemon.service.in'>
<input type='hidden' name='id' value='423d5964eb62cc8992f0b9c59016253e4d5bea42'/><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=423d5964eb62cc8992f0b9c59016253e4d5bea42'>root</a>/<a href='/guix/log/etc?id=423d5964eb62cc8992f0b9c59016253e4d5bea42'>etc</a>/<a href='/guix/log/etc/guix-daemon.service.in?id=423d5964eb62cc8992f0b9c59016253e4d5bea42'>guix-daemon.service.in</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/etc/guix-daemon.service.in?id=423d5964eb62cc8992f0b9c59016253e4d5bea42&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2022-10-23 02:00:26 +0200'>2022-10-23</span></td><td><a href='/guix/commit/etc/guix-daemon.service.in?id=068f1a1905099f32beec9a8c4904efbb4c503981'>etc: systemd services shouldn't ‘RemainAfterExit’.</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2022-10-23 02:00:25 +0200'>2022-10-23</span></td><td><a href='/guix/commit/etc/guix-daemon.service.in?id=0f6ec662f626eb5ff0685a20ca7e153dae7442e6'>etc: Add ‘Restart=always’ to both systemd services.</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2022-10-23 02:00:00 +0200'>2022-10-23</span></td><td><a href='/guix/commit/etc/guix-daemon.service.in?id=f16d91295a743d43b1604103b1399a621badea8c'>etc: Add ‘OOMPolicy=continue’ to guix-daemon.service.</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2021-07-07 23:54:20 -0400'>2021-07-07</span></td><td><a href='/guix/commit/etc/guix-daemon.service.in?id=4cbe0127a668cbcc64087c5d311308b59d39b104'>guix-install.sh: Prompt for configuring substitutes discovery.</a><span class='msg-avail'>...</span></td><td>Maxim Cournoyer</td></tr>