From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Wed, 24 Jan 2018 21:57:08 +0000 (-0700)
Subject: Fix warning about a variable that is unused in release mode.
X-Git-Tag: v9.0.0-rc1~527^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=03d26a3aee7074a828b63652e36d2d2446adcb48;p=dealii.git

Fix warning about a variable that is unused in release mode.
---

diff --git a/source/distributed/shared_tria.cc b/source/distributed/shared_tria.cc
index 948a2bf5a7..1c0303ece6 100644
--- a/source/distributed/shared_tria.cc
+++ b/source/distributed/shared_tria.cc
@@ -46,6 +46,7 @@ namespace parallel
       const auto partition_settings
         = (partition_zoltan | partition_metis |
            partition_zorder | partition_custom_signal) & settings;
+      (void)partition_settings;
       Assert(partition_settings == partition_auto ||
              partition_settings == partition_metis ||
              partition_settings == partition_zoltan ||