Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
fix host name issue with ns3 wifi, add ssid, set active probing to false
[simgrid.git] / src / mc / ModelChecker.cpp
index 894419cd402b35161a3f727977ee1757e0149879..884444cf3f38648df66f3c0541c9c51ac5eec368 100644 (file)
@@ -94,7 +94,7 @@ static const std::pair<const char*, const char*> ignored_local_variables[] = {
 
 void ModelChecker::setup_ignore()
 {
-  RemoteSimulation& process = this->get_remote_simulation();
+  const RemoteSimulation& process = this->get_remote_simulation();
   for (std::pair<const char*, const char*> const& var :
       ignored_local_variables)
     process.ignore_local_variable(var.first, var.second);