simcall_execution_destroy() -> simgrid::simix::Exec::unref()

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

diff --git a/src/simix/popping_enum.h b/src/simix/popping_enum.h
index 42156ce..5185e8e 100644 (file)
--- a/src/simix/popping_enum.h
+++ b/src/simix/popping_enum.h
@@ -35,7 +35,6 @@ typedef enum {
   SIMCALL_PROCESS_SLEEP,
   SIMCALL_EXECUTION_START,
   SIMCALL_EXECUTION_PARALLEL_START,
-  SIMCALL_EXECUTION_DESTROY,
   SIMCALL_EXECUTION_CANCEL,
   SIMCALL_EXECUTION_SET_PRIORITY,
   SIMCALL_EXECUTION_SET_BOUND,