SafetyChecker::check_non_termination() uses mc_api

[simgrid.git] / src / mc / mc_smx.hpp

diff --git a/src/mc/mc_smx.hpp b/src/mc/mc_smx.hpp
index 524c581cba782b65d469102152c5ae6e06b79c95..2c00bd3085b09b53e6afa7775a4274c9c7c5891e 100644 (file)
--- a/src/mc/mc_smx.hpp
+++ b/src/mc/mc_smx.hpp
@@ -42,6 +42,6 @@ XBT_PRIVATE smx_actor_t MC_smx_simcall_get_issuer(s_smx_simcall const* req);
 XBT_PRIVATE const char* MC_smx_actor_get_name(smx_actor_t p);
 XBT_PRIVATE const char* MC_smx_actor_get_host_name(smx_actor_t p);
 
-XBT_PRIVATE unsigned long MC_smx_get_maxpid(void);
+XBT_PRIVATE unsigned long MC_smx_get_maxpid();
 
 #endif