X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a838b5b015cc89949b2ad4c3a9259515600320eb..9466e4aa8c3bf7fa8124a022715843546e4e0753:/src/simix/smx_global.cpp

diff --git a/src/simix/smx_global.cpp b/src/simix/smx_global.cpp
index 50019eae59..d6a29e1b4f 100644
--- 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;
-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()) {