#ifndef SIMGRID_MC_RECORD_H
#define SIMGRID_MC_RECORD_H
-#include <stdbool.h>
-
#include <xbt/base.h>
+#include <xbt/dynar.h>
+#include <xbt/fifo.h>
SG_BEGIN_DECL()
*/
XBT_PRIVATE void MC_record_replay_from_string(const char* data);
-XBT_PRIVATE void MC_record_replay_init(void);
-
SG_END_DECL()
#endif