do not create communicator if process is not inside its group

[simgrid.git] / src / smpi / private.h

diff --git a/src/smpi/private.h b/src/smpi/private.h
index 156337f82728c2f5009c112f237aa332a40a5a94..11a8933e7b841babfdaab3a6f7ea631bbea05744 100644 (file)
--- a/src/smpi/private.h
+++ b/src/smpi/private.h
@@ -82,6 +82,7 @@ typedef struct s_smpi_mpi_request {
 void smpi_process_init(int *argc, char ***argv);
 void smpi_process_destroy(void);
 void smpi_process_finalize(void);
+int smpi_process_finalized(void);
 
 smpi_process_data_t smpi_process_data(void);
 smpi_process_data_t smpi_process_remote_data(int index);