Write counterexample's structured output trace on single line.

mCRL2org · Jul 1, 2022 · 5504747 · 5504747
1 parent 57ad27f
commit 5504747
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
       {