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

* src/bin/common_post.cc: Fix description of --any.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-10-27 08:01:18 +01:00
parent 71979840cb
commit 1b5b9e4a65
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/bin/common_post.cc
View file

@ -74,7 +74,7 @@ static const argp_option options_disabled[] =
/**************************************************/ /**************************************************/
{ nullptr, 0, nullptr, 0, "Output automaton type:", 2 }, { nullptr, 0, nullptr, 0, "Output automaton type:", 2 },
{ "generic", OPT_GENERIC, nullptr, 0, { "generic", OPT_GENERIC, nullptr, 0,
"Any acceptance is allowed (default)", 0 }, "any acceptance is allowed (default)", 0 },
{ "tgba", OPT_TGBA, nullptr, 0, { "tgba", OPT_TGBA, nullptr, 0,
"Transition-based Generalized Büchi Automaton", 0 }, "Transition-based Generalized Büchi Automaton", 0 },
{ "ba", 'B', nullptr, 0, { "ba", 'B', nullptr, 0,