From b2c2411bcc859b0add8f1db67b5247b9c56376c3 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 9 Jan 2015 22:22:28 +0100
Subject: [PATCH] degen: remove two useless casts

* src/tgbaalgos/degen.cc: Here.
---
 src/tgbaalgos/degen.cc | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/tgbaalgos/degen.cc b/src/tgbaalgos/degen.cc
index 3a6f98ee8..f5d99330e 100644
--- a/src/tgbaalgos/degen.cc
+++ b/src/tgbaalgos/degen.cc
@@ -552,8 +552,7 @@ namespace spot
     // If this already a degeneralized digraph, there is nothing we
     // can improve.
     if (a->is_sba())
-      if (auto d = std::dynamic_pointer_cast<const tgba_digraph>(a))
-	return std::const_pointer_cast<tgba_digraph>(d);
+      return std::const_pointer_cast<tgba_digraph>(a);
 
     return degeneralize_aux<true>(a, use_z_lvl, use_cust_acc_orders,
 				  use_lvl_cache, skip_levels);
@@ -567,8 +566,7 @@ namespace spot
     // If this already a degeneralized digraph, there is nothing we
     // can improve.
     if (a->has_single_acc_set())
-      if (auto d = std::dynamic_pointer_cast<const tgba_digraph>(a))
-	return std::const_pointer_cast<tgba_digraph>(d);
+      return std::const_pointer_cast<tgba_digraph>(a);
 
     return degeneralize_aux<false>(a, use_z_lvl, use_cust_acc_orders,
 				   use_lvl_cache, skip_levels);