typedef std::vector<std::string> ReplayAction;
static std::unordered_map<std::string, std::queue<ReplayAction*>*> action_queues;
-XBT_PUBLIC_DATA(std::ifstream*) action_fs;
+XBT_PUBLIC_DATA std::ifstream* action_fs;
XBT_PUBLIC int replay_runner(int argc, char* argv[]);
}
}