cosmetics

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

diff --git a/src/simix/popping_enum.hpp b/src/simix/popping_enum.hpp
index b03db5ad7e021f3462f1af5028277f3b929f1df8..5e21f81bfb321505c4019e6b16bea9eb3f848412 100644 (file)
--- a/src/simix/popping_enum.hpp
+++ b/src/simix/popping_enum.hpp
@@ -30,9 +30,6 @@ enum class Simcall {
   COMM_WAIT,
   COMM_TEST,
   COMM_TESTANY,
-  MUTEX_LOCK,
-  MUTEX_TRYLOCK,
-  MUTEX_UNLOCK,
   COND_WAIT,
   COND_WAIT_TIMEOUT,
   SEM_ACQUIRE,
@@ -41,6 +38,6 @@ enum class Simcall {
   RUN_BLOCKING,
 };
 
-constexpr int NUM_SIMCALLS = 19;
+constexpr int NUM_SIMCALLS = 16;
 } // namespace simix
 } // namespace simgrid