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 63fc9e8..675a5ad 100644 (file)
--- a/include/xbt/replay.h
+++ b/include/xbt/replay.h
@@ -1,6 +1,6 @@
 /* xbt/replay_reader.h -- Tools to parse a replay file                */
 
-/* Copyright (c) 2010. The SimGrid Team.
+/* Copyright (c) 2010, 2012-2014. The SimGrid Team.
  * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it
@@ -22,12 +22,14 @@ XBT_PUBLIC_DATA(xbt_dict_t) action_queues;
 XBT_PUBLIC_DATA(FILE *) action_fp;
 
 XBT_PUBLIC(xbt_replay_reader_t) xbt_replay_reader_new(const char*filename);
-XBT_PUBLIC(const char) **xbt_replay_reader_get(xbt_replay_reader_t reader);
+XBT_PUBLIC(const char **) xbt_replay_reader_get(xbt_replay_reader_t reader);
 XBT_PUBLIC(void) xbt_replay_reader_free(xbt_replay_reader_t *reader);
-XBT_PUBLIC(const char) *xbt_replay_reader_position(xbt_replay_reader_t reader);
+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);