Fix show_goto_trace call

FrNecas · FrNecas · commit c36d10f6b342 · 2021-04-29T19:12:26.000+02:00
Signed-off-by: František Nečas &lt;frantisek.necas@protonmail.com&gt;
diff --git a/src/2ls/2ls_parse_options.cpp b/src/2ls/2ls_parse_options.cpp
@@ -1286,7 +1286,7 @@ void twols_parse_optionst::show_counterexample(
   {
   case ui_message_handlert::uit::PLAIN:
     std::cout << std::endl << "Counterexample:" << std::endl;
-    show_goto_trace(std::cout, ns, error_trace);
+    show_goto_trace(result(), ns, error_trace);
     break;
 
   case ui_message_handlert::uit::XML_UI:

Original file line number	Diff line number	Diff line change
`@@ -1286,7 +1286,7 @@ void twols_parse_optionst::show_counterexample(`
`1286`	`1286`	`{`
`1287`	`1287`	`case ui_message_handlert::uit::PLAIN:`
`1288`	`1288`	`std::cout << std::endl << "Counterexample:" << std::endl;`
`1289`		`- show_goto_trace(std::cout, ns, error_trace);`
	`1289`	`+ show_goto_trace(result(), ns, error_trace);`
`1290`	`1290`	`break;`
`1291`	`1291`
`1292`	`1292`	`case ui_message_handlert::uit::XML_UI:`