Remove the need of pthread_mutex in mmalloc, to allow its use with sthread

[simgrid.git] / src / mc / api.cpp

diff --git a/src/mc/api.cpp b/src/mc/api.cpp
index 7a8c8db..e097a37 100644 (file)
--- a/src/mc/api.cpp
+++ b/src/mc/api.cpp
@@ -37,11 +37,10 @@ simgrid::mc::Exploration* Api::initialize(char** argv, const std::unordered_map<
     int i = 1;
     while (argv[i] != nullptr && argv[i][0] == '-')
       i++;
-    for (auto const& kv : env) {
-      const char* key = kv.first.c_str();
-      const char* val = kv.second.c_str();
-      XBT_INFO("setenv '%s'='%s'", key, val);
-      setenv(key, val, 1);
+
+    for (auto const& [key, val] : env) {
+      XBT_INFO("setenv '%s'='%s'", key.c_str(), val.c_str());
+      setenv(key.c_str(), val.c_str(), 1);
     }
     xbt_assert(argv[i] != nullptr,
                "Unable to find a binary to exec on the command line. Did you only pass config flags?");
@@ -75,11 +74,6 @@ simgrid::mc::Exploration* Api::initialize(char** argv, const std::unordered_map<
   return explo;
 }
 
-std::vector<simgrid::mc::ActorInformation>& Api::get_actors() const
-{
-  return mc_model_checker->get_remote_process().actors();
-}
-
 unsigned long Api::get_maxpid() const
 {
   return mc_model_checker->get_remote_process().get_maxpid();