From 6eeb74e15ffe3d8f8499d458e8d80e312f4ed85f Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 20 Nov 2014 10:02:29 +0100 Subject: [PATCH] autfilt, dstar2tgba: fix --help * src/bin/autfilt.cc, src/bin/dstar2tgba.cc: Do not reference the formula in --help. --- src/bin/autfilt.cc | 2 +- src/bin/dstar2tgba.cc | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/bin/autfilt.cc b/src/bin/autfilt.cc index 8a6b6314b..e9399286c 100644 --- a/src/bin/autfilt.cc +++ b/src/bin/autfilt.cc @@ -66,7 +66,7 @@ static const argp_option options[] = "Transition-based Generalized Büchi Automaton (default)", 0 }, { "ba", 'B', 0, 0, "Büchi Automaton", 0 }, { "monitor", 'M', 0, 0, "Monitor (accepts all finite prefixes " - "of the given formula)", 0 }, + "of the given property)", 0 }, /**************************************************/ { 0, 0, 0, 0, "Output format:", 3 }, { "dot", OPT_DOT, 0, 0, "GraphViz's format (default)", 0 }, diff --git a/src/bin/dstar2tgba.cc b/src/bin/dstar2tgba.cc index 54d7b38e4..27e0e7832 100644 --- a/src/bin/dstar2tgba.cc +++ b/src/bin/dstar2tgba.cc @@ -67,7 +67,7 @@ static const argp_option options[] = "Transition-based Generalized Büchi Automaton (default)", 0 }, { "ba", 'B', 0, 0, "Büchi Automaton", 0 }, { "monitor", 'M', 0, 0, "Monitor (accepts all finite prefixes " - "of the given formula)", 0 }, + "of the given property)", 0 }, /**************************************************/ { 0, 0, 0, 0, "Output format:", 3 }, { "dot", OPT_DOT, 0, 0, "GraphViz's format (default)", 0 },