From 11762deafc091e11e7753eef0f637901ea0ae018 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 10 Aug 2004 16:01:14 +0000
Subject: [PATCH] * src/tgbatest/ltl2tgba.cc (main): Fix another gcc warning in
 case assert() is disabled.

---
 ChangeLog                | 3 +++
 src/tgbatest/ltl2tgba.cc | 6 +++++-
 2 files changed, 8 insertions(+), 1 deletion(-)

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);