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/log/etc/system-tests.scm'>log</a><a href='/guix/tree/etc/system-tests.scm?id=072b06f2f3751b493c8401b666a71618f3e937e6'>tree</a><a href='/guix/commit/etc/system-tests.scm?id=072b06f2f3751b493c8401b666a71618f3e937e6'>commit</a><a href='/guix/diff/etc/system-tests.scm?id=072b06f2f3751b493c8401b666a71618f3e937e6'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/etc/system-tests.scm'>
<input type='hidden' name='id' value='072b06f2f3751b493c8401b666a71618f3e937e6'/><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=072b06f2f3751b493c8401b666a71618f3e937e6'>root</a>/<a href='/guix/log/etc?id=072b06f2f3751b493c8401b666a71618f3e937e6'>etc</a>/<a href='/guix/log/etc/system-tests.scm?id=072b06f2f3751b493c8401b666a71618f3e937e6'>system-tests.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/etc/system-tests.scm?id=072b06f2f3751b493c8401b666a71618f3e937e6&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2022-08-09 15:16:06 +0200'>2022-08-09</span></td><td><a href='/guix/commit/etc/system-tests.scm?id=5bce4c82422de6beb3ce6120ba1592be898c2b72'>build-system: Add 'channel-build-system'.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/ci.scm (channel-build-system, channel-source-&gt;package): Remove.
* gnu/packages/package-management.scm (channel-source-&gt;package): New
procedure, moved from (gnu ci).
* guix/build-system/channel.scm: New file, with code moved from (gnu ci).
* doc/guix.texi (Build Systems): Document it.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2022-07-10 23:57:14 +0200'>2022-07-10</span></td><td><a href='/guix/commit/etc/system-tests.scm?id=9fdc4b6c283c5aa5cf10205d87fb2c58b829b9d0'>monads: Add 'mparameterize'.</a><span class='msg-avail'>...<span class='msg-tooltip'>* etc/system-tests.scm (mparameterize): Move to...
* guix/monads.scm (mparameterize): ... here.
* tests/monads.scm ("mparameterize"): New test.
* .dir-locals.el (c-mode): Add it.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2022-04-11 00:25:33 +0200'>2022-04-11</span></td><td><a href='/guix/commit/etc/system-tests.scm?id=dbde386794cb5f4773b94a20ef585ca0f881544a'>tests: System tests really parameterize 'current-guix-package'.</a><span class='msg-avail'>...<span class='msg-tooltip'>Until now, 'current-guix-package' was parameterized in the wrong
context.  Thus, 'current-guix' would end up building a variant of the
'guix' package instead of the package returned by
'channel-source-&gt;package', which is much less expensive to build.

* etc/system-tests.scm (mparameterize): New macro.
(tests-for-current-guix): Change the 'value' field of each &lt;system-test&gt;
record to parameterize 'current-guix-package' for good.
</span></span></td><td>Ludovic Courtès</td></tr>