From 365d642a99386428d2a0b7748d3f79641e09786b Mon Sep 17 00:00:00 2001 From: Martin Kronbichler Date: Tue, 12 Nov 2019 10:41:31 +0100 Subject: [PATCH] Avoid warning about unused variable --- source/base/mpi.cc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/source/base/mpi.cc b/source/base/mpi.cc index 6c1388ed16..40d231bc00 100644 --- 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) { -- 2.39.5