model-checker : factorize code for safety and liveness model-checking

[simgrid.git] / src / simix / smx_smurf.c

diff --git a/src/simix/smx_smurf.c b/src/simix/smx_smurf.c
index 70c1393..c049f29 100644 (file)
--- a/src/simix/smx_smurf.c
+++ b/src/simix/smx_smurf.c
@@ -560,7 +560,7 @@ void SIMIX_simcall_pre(smx_simcall_t simcall, int value)
 
 #ifdef HAVE_MC
     case SIMCALL_MC_SNAPSHOT:
-      simcall->mc_snapshot.s = MC_take_snapshot_liveness();
+      simcall->mc_snapshot.s = MC_take_snapshot();
       SIMIX_simcall_answer(simcall);
       break;