extern XBT_PRIVATE simgrid::config::Flag<std::string> _sg_mc_dot_output_file;
extern XBT_PRIVATE simgrid::config::Flag<bool> _sg_mc_termination;
extern XBT_PUBLIC simgrid::config::Flag<bool> _sg_mc_sleep_set;
-extern XBT_PUBLIC simgrid::config::Flag<std::string> _sg_mc_guided;
-
-
+extern XBT_PUBLIC simgrid::config::Flag<std::string> _sg_mc_strategy;
#endif