- }
- char *val = xbt_cfg_get_string(_sg_cfg_set, name);
- if (!strcasecmp(val, "none")) {
- mc_reduce_kind = e_mc_reduce_none;
- } else if (!strcasecmp(val, "dpor")) {
- mc_reduce_kind = e_mc_reduce_dpor;
- } else {
+
+ char *val = xbt_cfg_get_string(name);
+ if (!strcasecmp(val, "none"))
+ simgrid::mc::reduction_mode = simgrid::mc::ReductionMode::none;
+ else if (!strcasecmp(val, "dpor"))
+ simgrid::mc::reduction_mode = simgrid::mc::ReductionMode::dpor;
+ else