stardis

commit 910a9e22220ed4494039ea96200d58148556e954
parent b6196155465da824ba4b57dcf924bc03a528644f
Author: Christophe Coustet <christophe.coustet@meso-star.com>
Date:   Thu, 17 Feb 2022 11:30:39 +0100

Fix a warning

Diffstat:
M
src/stardis-app.c
 | 
4
+---
M
src/stardis-app.h
 | 
3
+--
M
src/stardis-main.c
 | 
2
+-

3 files changed, 3 insertions(+), 6 deletions(-)
diff --git a/src/stardis-app.c b/src/stardis-app.c
@@ -248,11 +248,9 @@ error:
 }
 
 void
-finalize_mpi
-  (struct stardis* stardis)
+finalize_mpi(void)
 {
   int initialized;
-  ASSERT(stardis);
 
   CHK(MPI_Initialized(&initialized) == MPI_SUCCESS);
   if(initialized)
diff --git a/src/stardis-app.h b/src/stardis-app.h
@@ -869,8 +869,7 @@ init_mpi
    void (*prt_warn_fn)(const char* msg, void* ctx));
 
 extern LOCAL_SYM void
-finalize_mpi
-  (struct stardis* stardis);
+finalize_mpi(void);
 #endif
 
 extern LOCAL_SYM res_T
diff --git a/src/stardis-main.c b/src/stardis-main.c
@@ -128,7 +128,7 @@ exit:
     mem_shutdown_proxy_allocator(&allocator);
   }
 #ifdef STARDIS_ENABLE_MPI
-  finalize_mpi(&stardis);
+  finalize_mpi();
 #endif
 
   return err;