diff --git a/src/fmpi_mpi.c b/src/fmpi_mpi.c index 68bd9625e3121f510fbb8726ebeaae515e5b92c3..f4ea761a9b1ee7dece5d1ef71633c24c7e2fda24 100644 --- a/src/fmpi_mpi.c +++ b/src/fmpi_mpi.c @@ -93,7 +93,7 @@ int fmpi_mpi_exit(struct fmpi_mpi_ctx ** const ctx) if(fmpi_mpi_check_error(*ctx, err_id, "MPI_Finalize") == true) { err_id = -1; } - //free(*ctx); *ctx = NULL; + free(*ctx); *ctx = NULL; return err_id; } /*------------------------------------------------------------------------------