rename SIMIX_process_get_maxpid() to SIMIX_process_get_nextpid() and make it public

[simgrid.git] / src / simix / smx_process.c

diff --git a/src/simix/smx_process.c b/src/simix/smx_process.c
index f91a7a2..86a581f 100644 (file)
--- a/src/simix/smx_process.c
+++ b/src/simix/smx_process.c
@@ -596,7 +596,9 @@ void SIMIX_process_resume(smx_process_t process, smx_process_t issuer)
   XBT_OUT();
 }
 
-int SIMIX_process_get_maxpid(void) {
+/* Warning, the tracing mechanism uses this function to guess the future PID of the
+ * currently created process, Please do not change that feature */
+int SIMIX_process_get_nextpid(void) {
   return simix_process_maxpid;
 }