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

fix message

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

5
src/tgbatest/ltl2tgba.cc
View file

@ -11,8 +11,9 @@
void void
syntax(char* prog) syntax(char* prog)
{ {
std::cerr << "Usage: "<< prog << " [-d][-o][-r] formula" << std::endl std::cerr << "Usage: "<< prog << " [OPTIONS...] formula" << std::endl
<< std::endl << 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
<< " -A same as -a, but as a set" << std::endl << " -A same as -a, but as a set" << std::endl