Add a SIMIX_process_count() that SMPI needs

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

diff --git a/src/include/simix/simix.h b/src/include/simix/simix.h
index e0bff3a..86e257f 100644 (file)
--- a/src/include/simix/simix.h
+++ b/src/include/simix/simix.h
@@ -121,6 +121,7 @@ XBT_PUBLIC(int) SIMIX_process_is_suspended(smx_process_t process);
 
 /*property handlers*/
 XBT_PUBLIC(xbt_dict_t) SIMIX_process_get_properties(smx_process_t host);
+XBT_PUBLIC(int) SIMIX_process_count(void);
 
 /************************** Synchro handling **********************************/