From 67b7b86d52af2756cd9d02558933276b5406197b Mon Sep 17 00:00:00 2001
From: Pierre PARUTTO <parutto@lrde.epita.fr>
Date: Mon, 14 Jan 2013 17:18:23 +0100
Subject: [PATCH] tgbaproduct: fix segfault

* src/tgba/tgbaproduct.cc (transition_annotation): Adapt down cast to
new hierarchy.
---
 src/tgba/tgbaproduct.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/tgba/tgbaproduct.cc b/src/tgba/tgbaproduct.cc
index 912b7ae51..28641feb0 100644
--- a/src/tgba/tgbaproduct.cc
+++ b/src/tgba/tgbaproduct.cc
@@ -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_);