From: Ehsan Azimi <eazimi@ehsan.irisa.fr>
Date: Tue, 8 Dec 2020 09:07:59 +0000 (+0100)
Subject: mcapi::compare_pair() in addVisitedState()
X-Git-Tag: v3.26~13^2~35
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/3aa269369a45c0a61d98d3fbd322e1f037bd5592

mcapi::compare_pair() in addVisitedState()
---

diff --git a/src/mc/VisitedState.cpp b/src/mc/VisitedState.cpp
index adf130e774..8c4d035e09 100644
--- 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) {