From 1b5b9e4a65f6d8a27aef6dc84203ab67533c30b4 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 27 Oct 2015 08:01:18 +0100 Subject: [PATCH] * src/bin/common_post.cc: Fix description of --any. --- src/bin/common_post.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/bin/common_post.cc b/src/bin/common_post.cc index 0df6b0108..6c14f5373 100644 --- a/src/bin/common_post.cc +++ b/src/bin/common_post.cc @@ -74,7 +74,7 @@ static const argp_option options_disabled[] = /**************************************************/ { nullptr, 0, nullptr, 0, "Output automaton type:", 2 }, { "generic", OPT_GENERIC, nullptr, 0, - "Any acceptance is allowed (default)", 0 }, + "any acceptance is allowed (default)", 0 }, { "tgba", OPT_TGBA, nullptr, 0, "Transition-based Generalized Büchi Automaton", 0 }, { "ba", 'B', nullptr, 0,