protect smpi against problems with replay+collectives.

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

diff --git a/include/xbt/replay.h b/include/xbt/replay.h
index 196ce79..675a5ad 100644 (file)
--- a/include/xbt/replay.h
+++ b/include/xbt/replay.h
@@ -28,6 +28,8 @@ XBT_PUBLIC(const char *) xbt_replay_reader_position(xbt_replay_reader_t reader);
 
 XBT_PUBLIC(int) xbt_replay_action_runner(int argc, char *argv[]);
 
+XBT_PUBLIC(int) _xbt_replay_is_active(void);
+
 XBT_PUBLIC(void) _xbt_replay_action_init(void);
 XBT_PUBLIC(void) _xbt_replay_action_exit(void);