[mc] Remove the SNAPSHOT and COMPARE_SNAPSHOTS MC simcalls

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

diff --git a/src/simix/popping_enum.h b/src/simix/popping_enum.h
index 4f357d8..877f0a3 100644 (file)
--- a/src/simix/popping_enum.h
+++ b/src/simix/popping_enum.h
@@ -100,10 +100,5 @@ typedef enum {
   SIMCALL_ASR_GET_PROPERTIES,
   SIMCALL_MC_RANDOM,
   SIMCALL_SET_CATEGORY,
-  SIMCALL_RUN_KERNEL,
-#ifdef HAVE_MC
-  SIMCALL_MC_SNAPSHOT,
-  SIMCALL_MC_COMPARE_SNAPSHOTS,
-#endif
-  NUM_SIMCALLS
+  SIMCALL_RUN_KERNEL,  NUM_SIMCALLS
 } e_smx_simcall_t;