[mc] Initial support MC record/replay

[simgrid.git] / src / simix / popping_enum.h

diff --git a/src/simix/popping_enum.h b/src/simix/popping_enum.h
index 46a84a1..634f039 100644 (file)
--- a/src/simix/popping_enum.h
+++ b/src/simix/popping_enum.h
@@ -136,6 +136,7 @@ typedef enum {
   SIMCALL_STORAGE_GET_PROPERTIES,
   SIMCALL_STORAGE_GET_CONTENT,
   SIMCALL_ASR_GET_PROPERTIES,
+  SIMCALL_MC_RANDOM,
 #ifdef HAVE_LATENCY_BOUND_TRACKING
   SIMCALL_COMM_IS_LATENCY_BOUNDED,
 #endif
@@ -147,7 +148,6 @@ typedef enum {
 #ifdef HAVE_MC
   SIMCALL_MC_SNAPSHOT,
   SIMCALL_MC_COMPARE_SNAPSHOTS,
-  SIMCALL_MC_RANDOM,
 #endif
   NUM_SIMCALLS
 } e_smx_simcall_t;