alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

spacing

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2003-06-25 09:52:52 +00:00
parent 7cf57e2463
commit 35be07c472
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tgbatest/ltl2tgba.cc
View file

@ -12,7 +12,7 @@ void
syntax(char* prog) syntax(char* prog)
{ {
std::cerr << "Usage: "<< prog << " [OPTIONS...] formula" << std::endl std::cerr << "Usage: "<< prog << " [OPTIONS...] formula" << std::endl
<< std::endl << std::endl
<< "Options:" << std::endl << "Options:" << std::endl
<< " -a display the accepting_conditions BDD, not the reachability graph" << " -a display the accepting_conditions BDD, not the reachability graph"
<< std::endl << std::endl