std::priority_queue<Qelt, std::vector<Qelt>, std::greater<>> heap_;
};
// FIXME: kill that singleton
extern XBT_PRIVATE simgrid::kernel::profile::FutureEvtSet future_evt_set;
std::priority_queue<Qelt, std::vector<Qelt>, std::greater<>> heap_;
};
// FIXME: kill that singleton
extern XBT_PRIVATE simgrid::kernel::profile::FutureEvtSet future_evt_set;