From a31793960f8cc1c8ca6d745e56f4989a3220ccd7 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 9 Feb 2016 14:33:56 +0100 Subject: [PATCH] * tests/ltsmin/modelcheck.cc: Typo when printing accepting run. --- tests/ltsmin/modelcheck.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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"); } }