X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/63834b5431ab8aadc3373b34be3a4ea0491fad5d..b0d7c3272f2838a9252c0cf650b9231b07bea4d3:/src/simix/popping_enum.hpp

diff --git a/src/simix/popping_enum.hpp b/src/simix/popping_enum.hpp
index b03db5ad7e..5e21f81bfb 100644
--- 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