Merge branch 'actor-yield' of github.com:Takishipp/simgrid into actor-yield

[simgrid.git] / src / mc / mc_record.hpp

diff --git a/src/mc/mc_record.hpp b/src/mc/mc_record.hpp
index af99482..c9cb094 100644 (file)
--- a/src/mc/mc_record.hpp
+++ b/src/mc/mc_record.hpp
@@ -34,7 +34,7 @@ XBT_PRIVATE std::string traceToString(simgrid::mc::RecordTrace const& trace);
 XBT_PRIVATE void dumpRecordPath();
 
 XBT_PRIVATE void replay(RecordTrace const& trace);
-XBT_PRIVATE void replay(const char* trace);
+XBT_PRIVATE void replay(std::string trace);
 }
 }