Avoid warning about unused variable

diff --git a/source/base/mpi.cc b/source/base/mpi.cc
index 6c1388ed162d581a1a7d0ace3de0318f37764a79..40d231bc006acd7a3a12aa2c6117ae49778c37bc 100644 (file)
--- a/source/base/mpi.cc
+++ b/source/base/mpi.cc
@@ -286,6 +286,8 @@ namespace Utilities
     {
       const unsigned int myid    = Utilities::MPI::this_mpi_process(mpi_comm);
       const unsigned int n_procs = Utilities::MPI::n_mpi_processes(mpi_comm);
+      (void)myid;
+      (void)n_procs;
 
       for (const unsigned int destination : destinations)
         {