Rework the doc of model-check/replay, and add an example with sthread

[simgrid.git] / examples / smpi / replay / replay.cpp

diff --git a/examples/smpi/replay/replay.cpp b/examples/smpi/replay/replay.cpp
index d6fff83e77ff5c053e6d4a5ab67ac27fffb38391..216f7f35a3e1d6b6b1e9dfabbb31cdabbc2e8c10 100644 (file)
--- a/examples/smpi/replay/replay.cpp
+++ b/examples/smpi/replay/replay.cpp
@@ -22,7 +22,7 @@ static void action_blah(const simgrid::xbt::ReplayAction& /*args*/)
 
 int main(int argc, char* argv[])
 {
-  auto properties = simgrid::s4u::Actor::self()->get_properties();
+  const auto* properties = simgrid::s4u::Actor::self()->get_properties();
 
   const char* instance_id = properties->at("instance_id").c_str();
   const int rank          = static_cast<int>(xbt_str_parse_int(properties->at("rank").c_str(), "Cannot parse rank"));