Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC_state_copy_index_communications_pattern() implemented in mc_api
[simgrid.git] / src / mc / compare.cpp
index d72827bdc95de2f74bb9a4e0e144ea536f489b27..82c157ce108224dbe11934de528939d67b46c696 100644 (file)
@@ -137,7 +137,7 @@ static ssize_t heap_comparison_ignore_size(const std::vector<simgrid::mc::Ignore
                                            const void* address)
 {
   auto pos = std::lower_bound(ignore_list->begin(), ignore_list->end(), address,
-                              [](auto const& reg, const void* address) { return reg.address < address; });
+                              [](auto const& reg, auto const* addr) { return reg.address < addr; });
   return (pos != ignore_list->end() && pos->address == address) ? pos->size : -1;
 }