From 03d26a3aee7074a828b63652e36d2d2446adcb48 Mon Sep 17 00:00:00 2001
From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Wed, 24 Jan 2018 14:57:08 -0700
Subject: [PATCH] Fix warning about a variable that is unused in release mode.

---
 source/distributed/shared_tria.cc | 1 +
 1 file changed, 1 insertion(+)

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 ||
-- 
2.39.5