X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/20725839bfdac54bf58497e0c34705ba37f19265..20bbf9b0608d4ab29fb25ab4f795001d0cdca5b5:/src/mc/RegionSnapshot.cpp diff --git a/src/mc/RegionSnapshot.cpp b/src/mc/RegionSnapshot.cpp index 53a34f4a42..8a8c370be4 100644 --- a/src/mc/RegionSnapshot.cpp +++ b/src/mc/RegionSnapshot.cpp @@ -104,7 +104,7 @@ RegionSnapshot sparse_region(RegionType region_type, RegionSnapshot const* ref_region) { simgrid::mc::Process* process = &mc_model_checker->process(); - assert(process != NULL); + assert(process != nullptr); bool use_soft_dirty = _sg_mc_sparse_checkpoint && _sg_mc_soft_dirty && ref_region != nullptr