rename all SIMIX_pre_* to simcall_HANDLER_*

[simgrid.git] / src / mc / mc_interface.h

diff --git a/src/mc/mc_interface.h b/src/mc/mc_interface.h
index 0105f37..c2e8042 100644 (file)
--- a/src/mc/mc_interface.h
+++ b/src/mc/mc_interface.h
@@ -14,9 +14,9 @@ SG_BEGIN_DECL()
 typedef struct s_mc_snapshot *mc_snapshot_t;
 
 /* These are the MC-specific simcalls, that smx_user needs to see */
-mc_snapshot_t SIMIX_pre_mc_snapshot(smx_simcall_t simcall);
-int SIMIX_pre_mc_compare_snapshots(smx_simcall_t simcall, mc_snapshot_t s1, mc_snapshot_t s2);
-int SIMIX_pre_mc_random(smx_simcall_t simcall, int min, int max);
+mc_snapshot_t simcall_HANDLER_mc_snapshot(smx_simcall_t simcall);
+int simcall_HANDLER_mc_compare_snapshots(smx_simcall_t simcall, mc_snapshot_t s1, mc_snapshot_t s2);
+int simcall_HANDLER_mc_random(smx_simcall_t simcall, int min, int max);
 
 SG_END_DECL()