mcapi::compare_pair() in addVisitedState()

diff --git a/src/mc/VisitedState.cpp b/src/mc/VisitedState.cpp
index adf130e..8c4d035 100644 (file)
--- a/src/mc/VisitedState.cpp
+++ b/src/mc/VisitedState.cpp
@@ -51,7 +51,7 @@ VisitedStates::addVisitedState(unsigned long state_number, simgrid::mc::State* g
             new_state->num, graph_state->num_);
 
   auto range =
-      boost::range::equal_range(states_, new_state.get(), simgrid::mc::DerefAndCompareByActorsCountAndUsedHeap());
+      boost::range::equal_range(states_, new_state.get(), mcapi::get().compare_pair());
 
   if (compare_snapshots)
     for (auto i = range.first; i != range.second; ++i) {