Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Kill redundent sanity checks
[simgrid.git] / src / mc / compare.cpp
index 849059b214a0baae74c991c1730a5f721a3a1810..fdeba59b6313cc711ea9bec14dfcde7953e9f6d2 100644 (file)
@@ -845,9 +845,7 @@ static bool heap_area_differ(const RemoteProcess& process, StateComparator& stat
     }
 
     if (type_size != -1 && type_size != (ssize_t)heapinfo1->busy_block.busy_size &&
-        type_size != (ssize_t)heapinfo2->busy_block.busy_size &&
-        (type->name.empty() ||
-         type->name == "struct s_smx_context")) { // FIXME: there is no struct s_smx_context anymore
+        type_size != (ssize_t)heapinfo2->busy_block.busy_size && type->name.empty()) {
       if (match_pairs)
         state.match_equals(previous);
       return false;