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

* src/tgbatest/ltl2tgba.cc (main): Silence the "filename.tgba read"

message if -0 is used.
parent cddca67f
2005-01-29 Alexandre Duret-Lutz <adl@gnu.org>
* src/tgbatest/ltl2tgba.cc (main): Silence the "filename.tgba read"
message if -0 is used.
* bench/emptchk/formulae.ltl: New file.
* src/tgbaalgos/gtec/gtec.hh (couvreur99_check): Document poprem.
......
......@@ -307,7 +307,9 @@ main(int argc, char** argv)
argv[formula_index] + 2, pel))
return 2;
system->merge_transitions();
std::clog << argv[formula_index] + 2 << " read" << std::endl;
if (!paper_opt)
std::clog << argv[formula_index] + 2 << " read" << std::endl;
}
else if (!strcmp(argv[formula_index], "-r"))
{
......
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