From d9022f796cd01fe695f65e73afb97bc0af92c117 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sat, 22 Apr 2017 11:04:32 +0200 Subject: [PATCH] bin: remove unsupported %b stats from --help * bin/common_aoutput.cc: Here. * NEWS: Mention it. --- NEWS | 3 +++ bin/common_aoutput.cc | 2 -- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/NEWS b/NEWS index 699775ede..463fbac28 100644 --- a/NEWS +++ b/NEWS @@ -66,6 +66,9 @@ New in spot 2.3.3.dev (not yet released) - the transformation to state-based acceptance (spot::sbacc()) was incorrect on automata where the empty acceptance mark is accepting. + - the --help output of randaut and ltl2tgba was showing an + unsupported %b stat. + Backward-incompatible changes: - spot::acc_cond::mark_t::operator bool() has been marked as diff --git a/bin/common_aoutput.cc b/bin/common_aoutput.cc index 933757443..19fac6dc8 100644 --- a/bin/common_aoutput.cc +++ b/bin/common_aoutput.cc @@ -239,8 +239,6 @@ static const argp_option o_options[] = "number of transitions", 0 }, { "%a", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, "number of acceptance sets", 0 }, - { "%b", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, - "number of acceptance sets", 0 }, { "%g", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, "acceptance condition (in HOA syntax)", 0 }, { "%c, %[LETTERS]c", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE,