kill the now useless xbt_os_thread_{get,set}_extra_data()

[simgrid.git] / include / xbt / replay.hpp

diff --git a/include/xbt/replay.hpp b/include/xbt/replay.hpp
index 0658148..5ddaacc 100644 (file)
--- a/include/xbt/replay.hpp
+++ b/include/xbt/replay.hpp
@@ -21,7 +21,7 @@ namespace xbt {
 typedef std::vector<std::string> ReplayAction;
 
 XBT_PUBLIC_DATA std::ifstream* action_fs;
-XBT_PUBLIC int replay_runner(int argc, char* argv[]);
+XBT_PUBLIC int replay_runner(const char* actor_name, const char* trace_filename);
 }
 }