ikwiad: fix accepting run printing

* tests/core/ikwiad.cc: here.

ikwiad: fix accepting run printing
* tests/core/ikwiad.cc: here.
440380c5 · Etienne Renault · Alexandre Duret-Lutz · 526e19d4 · 440380c5
Commit 440380c5 authored Jun 07, 2017 by Etienne Renault Committed by Alexandre Duret-Lutz Jun 11, 2017
--- a/tests/core/ikwiad.cc
+++ b/tests/core/ikwiad.cc
@@ -1531,7 +1531,7 @@ checked_main(int argc, char** argv)
                              if (graph_run_tgba_opt)
                                spot::print_dot(std::cout, run->as_twa());
                              else
-                                std::cout << run;
+                                std::cout << *run;
                              tm.stop("printing accepting run");
                            }
                        }