-static simgrid::config::Flag<std::string> _sg_mc_record_path{
- "model-check/replay", "Model-check path to replay (as reported by SimGrid when a violation is reported)", "",
- [](const std::string& value) { MC_record_path = value; }};
+simgrid::config::Flag<std::string> _sg_mc_record_path{
+ "model-check/replay", "Model-check path to replay (as reported by SimGrid when a violation is reported)", ""};