From 4ad76d203c7ca86c5cac867eaf20ad24562b97db Mon Sep 17 00:00:00 2001
From: "raphael.bach" <raphael.bach@etu.hesge.ch>
Date: Mon, 13 Jun 2022 11:41:33 +0200
Subject: [PATCH] Fix commented out line in `fmpi_mpi_exit()`

---
 src/fmpi_mpi.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/fmpi_mpi.c b/src/fmpi_mpi.c
index 68bd962..f4ea761 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;
 }
 /*------------------------------------------------------------------------------
-- 
GitLab