X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/195e487a20a55e069bd2300dedf67d7cb122ee47..507785035fffb029577ed608142f0cb8a43f77e9:/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 ; }