Write counterexample's structured output trace on single line.

mCRL2org · Jun 29, 2022 · 4354214 · 4354214
1 parent 0d60b50
commit 4354214
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
       {