Define and use utility class to compare pairs in priority queues.

[simgrid.git] / src / simix / smx_global.cpp

diff --git a/src/simix/smx_global.cpp b/src/simix/smx_global.cpp
index 50019ea..d6a29e1 100644 (file)
--- a/src/simix/smx_global.cpp
+++ b/src/simix/smx_global.cpp
@@ -66,7 +66,7 @@ public:
 
 namespace {
 typedef std::pair<double, smx_timer_t> TimerQelt;
 
 namespace {
 typedef std::pair<double, smx_timer_t> TimerQelt;

-std::priority_queue<TimerQelt, std::vector<TimerQelt>, std::greater<TimerQelt>> simix_timers;
+std::priority_queue<TimerQelt, std::vector<TimerQelt>, simgrid::xbt::HeapComparator<TimerQelt>> simix_timers;

 void SIMIX_timer_flush()
 {
   while (not simix_timers.empty() && simix_timers.top().second->isDisabled()) {
 void SIMIX_timer_flush()
 {
   while (not simix_timers.empty() && simix_timers.top().second->isDisabled()) {