alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

mc: remove old FIXME

Browse source 
*  spot/mc/mc_instanciator.hh: Here.
This commit is contained in:
Etienne Renault 2020-05-19 07:59:33 +02:00
parent 1dc6ead1e0
commit 2a41772ff9
1 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/mc/mc_instanciator.hh
View file

@ -83,8 +83,6 @@ namespace spot
spot::twacube_ptr prop = nullptr, spot::twacube_ptr prop = nullptr,
bool trace = false) bool trace = false)
{ {
// FIXME ensure that algo_name contains all methods
spot::timer_map tm; spot::timer_map tm;
std::atomic<bool> stop(false); std::atomic<bool> stop(false);
unsigned nbth = sys->get_threads(); unsigned nbth = sys->get_threads();