From ae03bc6704934b2eacaf272aa8a5e9211b33458b Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 30 Nov 2010 12:19:45 +0100 Subject: [PATCH] Fix a GCC 4.6 warning. * src/tgbatest/randtgba.cc (main): Remove the set but unused opt_A variable (the upcoming GCC 4.6 would warn about it) and set opt_ec to 1 if -A is used without -e. --- ChangeLog | 8 ++++++++ src/tgbatest/randtgba.cc | 4 ++-- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 33eca6361..88305f6ac 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,11 @@ +2010-11-30 Alexandre Duret-Lutz + + Fix a GCC 4.6 warning. + + * src/tgbatest/randtgba.cc (main): Remove the set but unused opt_A + variable (the upcoming GCC 4.6 would warn about it) and set opt_ec + to 1 if -A is used without -e. + 2010-11-27 Alexandre Duret-Lutz * src/tgbatest/ltl2tgba.cc (syntax): Typo. diff --git a/src/tgbatest/randtgba.cc b/src/tgbatest/randtgba.cc index 40a2d3d84..0b26eeaa1 100644 --- a/src/tgbatest/randtgba.cc +++ b/src/tgbatest/randtgba.cc @@ -542,7 +542,6 @@ generate_formula(const spot::ltl::random_ltl& rl, int opt_f, int opt_s, int main(int argc, char** argv) { - bool opt_A; bool opt_paper = false; bool opt_dp = false; int opt_f = 15; @@ -612,7 +611,8 @@ main(int argc, char** argv) { if (argc < argn + 2) syntax(argv[0]); - opt_A = true; + if (!opt_ec) + opt_ec = 1; std::istream* in; if (strcmp(argv[++argn], "-")) {