-xbt_heap_float_t tmgr_history_next_date(tmgr_history_t history);
-int tmgr_history_get_next_event_leq(tmgr_history_t history,
- xbt_heap_float_t date,
- xbt_maxmin_float_t *value,
- void **resource);
+double tmgr_history_next_date(tmgr_history_t history);
+tmgr_trace_event_t tmgr_history_get_next_event_leq(tmgr_history_t history,
+ double date,
+ double *value,
+ void **resource);
+
+void tmgr_finalize(void);