[mc] Make state/snapshot comparison work with SMPI variable privatisation

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

diff --git a/src/smpi/private.h b/src/smpi/private.h
index 4fa25f1..4b3b5f7 100644 (file)
--- a/src/smpi/private.h
+++ b/src/smpi/private.h
@@ -17,6 +17,8 @@
 #include "smpi/smpi_cocci.h"
 #include "instr/instr_private.h"
 
+SG_BEGIN_DECL()
+
 struct s_smpi_process_data;
 typedef struct s_smpi_process_data *smpi_process_data_t;
 
@@ -677,4 +679,8 @@ const char* encode_datatype(MPI_Datatype datatype);
 extern void** mappings;
 extern int loaded_page;
 
+int smpi_process_index_of_smx_process(smx_process_t process);
+
+SG_END_DECL()
+
 #endif