- process->privatized(smpi_privatize_global_variables != SMPI_PRIVATIZE_NONE);
- modelChecker_ = std::unique_ptr<ModelChecker>(
- new simgrid::mc::ModelChecker(std::move(process)));
+ process->privatized(smpi_privatize_global_variables != SmpiPrivStrategies::NONE);
+#else
+ process->privatized(false);
+#endif
+ modelChecker_.reset(new simgrid::mc::ModelChecker(std::move(process)));