X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a8435b590ee086dcf3eff0592b2001bb6d0dd059..928c7d925f7dd44da445d7032934577ac4d88770:/src/mc/mc_snapshot.h diff --git a/src/mc/mc_snapshot.h b/src/mc/mc_snapshot.h index 81dc444172..38173265fa 100644 --- a/src/mc/mc_snapshot.h +++ b/src/mc/mc_snapshot.h @@ -213,8 +213,8 @@ XBT_PRIVATE int MC_snapshot_memcmp( static inline __attribute__ ((always_inline)) const void* mc_snapshot_get_heap_end(simgrid::mc::Snapshot* snapshot) { - if(snapshot==NULL) - xbt_die("snapshot is NULL"); + if(snapshot==nullptr) + xbt_die("snapshot is nullptr"); return mc_model_checker->process().get_heap()->breakval; }