diff --git a/tests/core/ikwiad.cc b/tests/core/ikwiad.cc
index 3c81ac380..535f6e499 100644
--- 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");
                             }
                         }