diff --git a/ChangeLog b/ChangeLog
index 5bef31844..6bee1d2f6 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2004-08-10  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/tgbatest/ltl2tgba.cc (main): Fix another gcc warning in case
+	assert() is disabled.
+
 	* src/Makefile.am (nodist_EXTRA_libspot_la_SOURCES): New variable,
 	to force C++ linking.
 
diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index 0d92fd053..71923bb8a 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -417,7 +417,11 @@ main(int argc, char** argv)
 							    std::cout,
 							    display_parity_game);
 	      else
-		assert(0);
+		{
+		  assert(0);
+		  // Please GCC so it does not think REL is unused.
+		  rel = 0;
+		}
 
 	      if (display_rel_sim)
 		aut_red->display_rel_sim(rel, std::cout);