X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/dc0b836b646303e8a540d20d9e86ecd4049bb372..b17531686acca9a61c349274d9de9c0dc4c7e07a:/src/mc/mc_base.cpp diff --git a/src/mc/mc_base.cpp b/src/mc/mc_base.cpp index c3fbeedd58..70ca01cebf 100644 --- a/src/mc/mc_base.cpp +++ b/src/mc/mc_base.cpp @@ -187,10 +187,6 @@ bool request_is_visible(smx_simcall_t req) || req->call == SIMCALL_MC_RANDOM || req->call == SIMCALL_MUTEX_LOCK || req->call == SIMCALL_MUTEX_TRYLOCK -#ifdef HAVE_MC - || req->call == SIMCALL_MC_SNAPSHOT - || req->call == SIMCALL_MC_COMPARE_SNAPSHOTS -#endif ; }