#ifndef XBT_REPLAY_HPP
#define XBT_REPLAY_HPP
-#include "xbt/dict.h"
+#include "xbt/misc.h" /* SG_BEGIN_DECL */
#ifdef __cplusplus
#include <fstream>
#include <queue>
typedef void (*action_fun)(const char* const* args);
XBT_PUBLIC(void) xbt_replay_action_register(const char* action_name, action_fun function);
+XBT_PUBLIC(action_fun) xbt_replay_action_get(const char* action_name);
SG_END_DECL()