From 3aa269369a45c0a61d98d3fbd322e1f037bd5592 Mon Sep 17 00:00:00 2001 From: Ehsan Azimi Date: Tue, 8 Dec 2020 10:07:59 +0100 Subject: [PATCH] mcapi::compare_pair() in addVisitedState() --- src/mc/VisitedState.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) { -- 2.20.1