diff --git a/src/tgbaalgos/simulation.cc b/src/tgbaalgos/simulation.cc index 1ee61ed89..953ce79e7 100644 --- a/src/tgbaalgos/simulation.cc +++ b/src/tgbaalgos/simulation.cc @@ -1014,7 +1014,7 @@ namespace spot public: direct_simulation_dont_care(const tgba* t) - : direct_simulation(t) + : direct_simulation(t) { // This variable is used in the new signature. on_cycle_ =