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:45:57 +00:00
parent f1af8f96bf
commit 3e4497dc70
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

@ -22,7 +22,7 @@ syntax(char* prog)
<< " -r display the relation BDD, not the reachability graph"
<< std::endl
<< " -R same as -r, but as a set" << std::endl
<< " -v display the BDD variables used by the automaton"
<< " -v display the BDD variables used by the automaton"
<< std::endl;
exit(2);
}