diff --git a/tests/ltsmin/modelcheck.cc b/tests/ltsmin/modelcheck.cc
index 69b315cc9..14d7b03a5 100644
--- a/tests/ltsmin/modelcheck.cc
+++ b/tests/ltsmin/modelcheck.cc
@@ -345,7 +345,7 @@ checked_main(int argc, char **argv)
 		run = run->reduce();
 		tm.stop("reducing accepting run");
 		tm.start("printing accepting run");
-		std::cout << run;
+		std::cout << *run;
 		tm.stop("printing accepting run");
 	      }
 	  }