From 775438422d4c061cf10256ce42f77352a484c3ac Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 1 Dec 2011 18:42:59 +0100
Subject: [PATCH] Remove a dynamic_cast.

* src/tgbaalgos/ltl2tgba_fm.cc (translate_ratexp): Replace
a dynamic cast by a call to kind().
---
 src/tgbaalgos/ltl2tgba_fm.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tgbaalgos/ltl2tgba_fm.cc b/src/tgbaalgos/ltl2tgba_fm.cc
index 59c72052c..b732d0e58 100644
--- a/src/tgbaalgos/ltl2tgba_fm.cc
+++ b/src/tgbaalgos/ltl2tgba_fm.cc
@@ -807,7 +807,7 @@ namespace spot
 		      res_ |= label & tail_bdd;
 		    }
 
-		  if (dynamic_cast<constant*>(dest) == 0)
+		  if (dest->kind() != formula::Constant)
 		    {
 		      // If the destination is not a constant, it
 		      // means it can have successors.  Fusion the