generalize mark_as_deleted call

[simgrid.git] / src / smpi / bindings / smpi_pmpi_info.cpp

diff --git a/src/smpi/bindings/smpi_pmpi_info.cpp b/src/smpi/bindings/smpi_pmpi_info.cpp
index fe4ae45..0cacf3c 100644 (file)
--- a/src/smpi/bindings/smpi_pmpi_info.cpp
+++ b/src/smpi/bindings/smpi_pmpi_info.cpp
@@ -27,6 +27,7 @@ int PMPI_Info_set( MPI_Info info, const char *key, const char *value){
 int PMPI_Info_free( MPI_Info *info){
   CHECK_NULL(1, MPI_ERR_ARG, info)
   CHECK_INFO(1, *info)
+  (*info)->mark_as_deleted();
   simgrid::smpi::Info::unref(*info);
   *info=MPI_INFO_NULL;
   return MPI_SUCCESS;