X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/cef6554994ae17d8f56c9245ad2c10c7cf39af8c..3f9b311ec56db95ec539001a860ae3c838c48312:/src/mc/api/strategy/BasicStrategy.hpp?ds=sidebyside diff --git a/src/mc/api/strategy/BasicStrategy.hpp b/src/mc/api/strategy/BasicStrategy.hpp index 3d7d01bbd6..ca44509880 100644 --- a/src/mc/api/strategy/BasicStrategy.hpp +++ b/src/mc/api/strategy/BasicStrategy.hpp @@ -31,7 +31,7 @@ public: "--cfg=model-check/max-depth. Here are the 100 first trace elements", _sg_mc_max_depth.get()); auto trace = Exploration::get_instance()->get_textual_trace(100); - for (auto elm : trace) + for (auto const& elm : trace) XBT_CERROR(mc_dfs, " %s", elm.c_str()); xbt_die("Aborting now."); }