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

tgbaproduct: fix segfault

Browse source 
* src/tgba/tgbaproduct.cc (transition_annotation): Adapt down cast to
new hierarchy.
This commit is contained in:
Pierre PARUTTO 2013-01-14 17:18:23 +01:00 • committed by Alexandre Duret-Lutz
parent e4ecc2d465
commit 67b7b86d52
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/tgba/tgbaproduct.cc
View file

@ -465,8 +465,8 @@ namespace spot
std::string
tgba_product::transition_annotation(const tgba_succ_iterator* t) const
{
const tgba_succ_iterator_product* i =
down_cast<const tgba_succ_iterator_product*>(t);
const tgba_succ_iterator_product_common* i =
down_cast<const tgba_succ_iterator_product_common*>(t);
assert(i);
std::string left = left_->transition_annotation(i->left_);
std::string right = right_->transition_annotation(i->right_);