From 2a41772ff9cb90718abecd26ad31c07aeeee740b Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Tue, 19 May 2020 07:59:33 +0200
Subject: [PATCH] mc: remove old FIXME

*  spot/mc/mc_instanciator.hh: Here.
---
 spot/mc/mc_instanciator.hh | 2 --
 1 file changed, 2 deletions(-)

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<bool> stop(false);
     unsigned  nbth = sys->get_threads();