From 440380c5cab8c16cb93fc086312cddd58c91f538 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Wed, 7 Jun 2017 17:05:25 +0200
Subject: [PATCH] ikwiad: fix accepting run printing

* tests/core/ikwiad.cc: here.
---
 tests/core/ikwiad.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/core/ikwiad.cc b/tests/core/ikwiad.cc
index 73a0e9ac8..1e8c6382a 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");
                             }
                         }