Commit a3179396 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* tests/ltsmin/modelcheck.cc: Typo when printing accepting run.

parent e1465278
...@@ -345,7 +345,7 @@ checked_main(int argc, char **argv) ...@@ -345,7 +345,7 @@ checked_main(int argc, char **argv)
run = run->reduce(); run = run->reduce();
tm.stop("reducing accepting run"); tm.stop("reducing accepting run");
tm.start("printing accepting run"); tm.start("printing accepting run");
std::cout << run; std::cout << *run;
tm.stop("printing accepting run"); tm.stop("printing accepting run");
} }
} }
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment