From b521fef2260a707898fc26b4a8f5e282e0fd3b6b Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 7 Oct 2017 13:10:03 +0200
Subject: [PATCH] simulation: do not create scc_info

* spot/twaalgos/simulation.cc: Remove useless creation of scc_info
object.
---
 spot/twaalgos/simulation.cc | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/spot/twaalgos/simulation.cc b/spot/twaalgos/simulation.cc
index cddc529cc..e7b8979ed 100644
--- a/spot/twaalgos/simulation.cc
+++ b/spot/twaalgos/simulation.cc
@@ -27,7 +27,6 @@
 #include <spot/twa/bddprint.hh>
 #include <spot/twaalgos/reachiter.hh>
 #include <spot/twaalgos/sccfilter.hh>
-#include <spot/twaalgos/sccinfo.hh>
 #include <spot/twaalgos/sepsets.hh>
 #include <spot/twaalgos/isdet.hh>
 #include <spot/misc/bddlt.hh>
@@ -164,8 +163,6 @@ namespace spot
           throw std::runtime_error
             ("direct_simulation() does not yet support alternation");
 
-        scc_info_.reset(new scc_info(in));
-
         unsigned ns = in->num_states();
         size_a_ = ns;
         unsigned init_state_number = in->get_init_state_number();
@@ -710,8 +707,6 @@ namespace spot
 
       automaton_size stat;
 
-      std::unique_ptr<scc_info> scc_info_;
-
       const const_twa_graph_ptr original_;
     };