alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Work around old g++ versions.

Browse source 
* src/tgbaalgos/isweakscc.cc (cycle_found): Add a const_cast.
This commit is contained in:
Alexandre Duret-Lutz 2012-09-22 01:26:33 +02:00
parent 13025d6cc8
commit c6840d81e4
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/tgbaalgos/isweakscc.cc
View file

@ -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())
{