From 976a86ba2bec5f9cc7766176cf9057cfb1f9fe55 Mon Sep 17 00:00:00 2001
From: Denis Poitrenaud <Denis.Poitrenaud@lip6.fr>
Date: Tue, 23 Nov 2004 13:54:34 +0000
Subject: [PATCH] * src/tgbaalgos/tau03opt.cc: Fix a warning.

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

diff --git a/ChangeLog b/ChangeLog
index bd2f2c35e..6ec70bc9d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2004-11-23  Poitrenaud Denis  <Denis.Poitrenaud@lip6.fr>
+
+	* src/tgbaalgos/tau03opt.cc: Fix a warning.
+
 2004-11-22  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/tgbaalgos/gv04.cc (gv04): Inherit from ec_statistics.
diff --git a/src/tgbaalgos/tau03opt.cc b/src/tgbaalgos/tau03opt.cc
index d53190717..cd4fcb8ba 100644
--- a/src/tgbaalgos/tau03opt.cc
+++ b/src/tgbaalgos/tau03opt.cc
@@ -519,6 +519,7 @@ namespace spot
         {
           assert(hc.find(s)==hc.end() && h.find(s)==h.end());
           assert(c == CYAN);
+          (void)c;
           hc.insert(std::make_pair(s, std::make_pair(w, bddfalse)));
         }