From c6840d81e45a773c941d44b6d8892b758f272a0b Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 22 Sep 2012 01:26:33 +0200
Subject: [PATCH] Work around old g++ versions.

* src/tgbaalgos/isweakscc.cc (cycle_found): Add a const_cast.
---
 src/tgbaalgos/isweakscc.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/tgbaalgos/isweakscc.cc b/src/tgbaalgos/isweakscc.cc
index e29ee6bbe..8e1593cda 100644
--- a/src/tgbaalgos/isweakscc.cc
+++ b/src/tgbaalgos/isweakscc.cc
@@ -49,7 +49,9 @@ namespace spot
 	    if (i->ts->first == start)
 	      break;
 	    ++i;
-	    assert(i != dfs_.rend());
+	    // The const cast is here to please old g++ versions.
+	    // At least version 4.0 needs it.
+	    assert(i != const_cast<const dfs_stack&>(dfs_).rend());
 	  }
 	if (acc != aut_->all_acceptance_conditions())
 	  {