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

sts/egg.scm'>log</a><a href='/guix/tree/tests/egg.scm?id=5243985aa2509b7dc3236d88b5c22626e2a76be9'>tree</a><a href='/guix/commit/tests/egg.scm?id=5243985aa2509b7dc3236d88b5c22626e2a76be9'>commit</a><a href='/guix/diff/tests/egg.scm?id=5243985aa2509b7dc3236d88b5c22626e2a76be9'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/tests/egg.scm'>
<input type='hidden' name='id' value='5243985aa2509b7dc3236d88b5c22626e2a76be9'/><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=5243985aa2509b7dc3236d88b5c22626e2a76be9'>root</a>/<a href='/guix/log/tests?id=5243985aa2509b7dc3236d88b5c22626e2a76be9'>tests</a>/<a href='/guix/log/tests/egg.scm?id=5243985aa2509b7dc3236d88b5c22626e2a76be9'>egg.scm</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/tests/egg.scm?id=5243985aa2509b7dc3236d88b5c22626e2a76be9&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2021-11-17 23:43:14 +0100'>2021-11-17</span></td><td><a href='/guix/commit/tests/egg.scm?id=3a317f7476f8c6012e166ff9f340f861938721c9'>Merge branch 'master' into core-updates-frozen</a></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2021-11-14 00:10:58 +0100'>2021-11-14</span></td><td><a href='/guix/commit/tests/egg.scm?id=114005bea61efcd5f7d768e2d6503e873f654c16'>tests: Adjust tests/egg.scm to latest API changes.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>