Add some informations/help for the user on SIGSEGV

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

diff --git a/src/smpi/private.h b/src/smpi/private.h
index b98f679..2b8ce55 100644 (file)
--- a/src/smpi/private.h
+++ b/src/smpi/private.h
@@ -166,6 +166,7 @@ void smpi_comm_copy_buffer_callback(smx_action_t comm,
 
 void print_request(const char *message, MPI_Request request);
 
+int smpi_enabled(void);
 void smpi_global_init(void);
 void smpi_global_destroy(void);