X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/84a646f4695779bf82af58629a45f46f9a8a0e7c..e1e50fa3f7c4b7b6bcb94dba4d4032f4d69260b9:/src/smpi/private.h

diff --git a/src/smpi/private.h b/src/smpi/private.h
index 156337f827..11a8933e7b 100644
--- 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);