return ret;
}
-int _xbt_replay_is_active(void){
+int _xbt_replay_is_active(){
return is_replay_active;
}
*
* It returns false if it was already done by another process.
*/
-int _xbt_replay_action_init(void)
+int _xbt_replay_action_init()
{
if (xbt_action_funs)
return 0;
return 1;
}
-void _xbt_replay_action_exit(void)
+void _xbt_replay_action_exit()
{
xbt_dict_free(&xbt_action_queues);
xbt_dict_free(&xbt_action_funs);