Fix problem with unknown datatypes in replay/tracing.

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

diff --git a/src/smpi/private.h b/src/smpi/private.h
index 63b8694..13f2e76 100644 (file)
--- a/src/smpi/private.h
+++ b/src/smpi/private.h
@@ -448,6 +448,7 @@ extern int size_data_exe; //size of the data+bss segment of the executable
 
 void smpi_switch_data_segment(int dest);
 void smpi_really_switch_data_segment(int dest);
+int smpi_is_privatisation_file(char* file);
 
 void smpi_get_executable_global_size(void);
 void smpi_initialize_global_memory_segments(void);
@@ -751,7 +752,7 @@ void TRACE_smpi_init(int rank);
 void TRACE_smpi_finalize(int rank);
 #endif
 
-const char* encode_datatype(MPI_Datatype datatype);
+const char* encode_datatype(MPI_Datatype datatype, int* known);
 
 // TODO, make this static and expose it more cleanly