diff --git a/ChangeLog b/ChangeLog
index 33eca6361..88305f6ac 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2010-11-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	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  <adl@lrde.epita.fr>
 
 	* 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], "-"))
             {