From a5608a7ec4e9fe0ada7e21a01d402a0a6ec15f77 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 27 Nov 2004 01:03:43 +0000
Subject: [PATCH] * src/tgbaalgos/minimizerun.cc: Shut up a GCC warning when
 assert are disabled.

---
 ChangeLog                    | 5 +++++
 src/tgbaalgos/minimizerun.cc | 1 +
 2 files changed, 6 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index c9daa64cd..3599e1351 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2004-11-27  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbaalgos/minimizerun.cc: Shut up a GCC warning when assert
+	are disabled.
+
 2004-11-27  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 	    Denis Poitrenaud  <Denis.Poitrenaud@lip6.fr>
 
diff --git a/src/tgbaalgos/minimizerun.cc b/src/tgbaalgos/minimizerun.cc
index 71474a8e1..750276602 100644
--- a/src/tgbaalgos/minimizerun.cc
+++ b/src/tgbaalgos/minimizerun.cc
@@ -140,6 +140,7 @@ namespace spot
         const state* s = shpath.search(segment_next->clone(), res->cycle);
         ss.clear();
         assert(s->compare(segment_start) == 0);
+	(void)s;
       }
 
     // Compute the prefix: it's the shortest path from the initial