diff --git a/spot/mc/mc_instanciator.hh b/spot/mc/mc_instanciator.hh index 689d0733d..da1dacde8 100644 --- a/spot/mc/mc_instanciator.hh +++ b/spot/mc/mc_instanciator.hh @@ -83,8 +83,6 @@ namespace spot spot::twacube_ptr prop = nullptr, bool trace = false) { - // FIXME ensure that algo_name contains all methods - spot::timer_map tm; std::atomic stop(false); unsigned nbth = sys->get_threads();