[mc] Read smpi_privatisation_regions from MCed in MC_region_new_privatized()

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

diff --git a/src/smpi/private.h b/src/smpi/private.h
index fbcfa32..cd4fdcb 100644 (file)
--- a/src/smpi/private.h
+++ b/src/smpi/private.h
@@ -770,7 +770,7 @@ const char* encode_datatype(MPI_Datatype datatype, int* known);
 typedef struct s_smpi_privatisation_region {
   void* address;
   int file_descriptor;
 typedef struct s_smpi_privatisation_region {
   void* address;
   int file_descriptor;

-} *smpi_privatisation_region_t;
+} s_smpi_privatisation_region_t, *smpi_privatisation_region_t;

 
 extern smpi_privatisation_region_t smpi_privatisation_regions;
 extern int smpi_loaded_page;
 
 extern smpi_privatisation_region_t smpi_privatisation_regions;
 extern int smpi_loaded_page;