rename SIMIX_simcall_{pre,post} to SIMIX_simcall_{enter,exit}

[simgrid.git] / src / mc / mc_liveness.c

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 4717fcd..15e552a 100644 (file)
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -391,7 +391,7 @@ void MC_modelcheck_liveness()
           mc_stats->executed_transitions++;
 
           /* Answer the request */
-          SIMIX_simcall_pre(req, value);
+          SIMIX_simcall_enter(req, value);
 
           /* Wait for requests (schedules processes) */
           MC_wait_for_requests();