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 948a2bf5a774d8976ae12b504e0a478ec5b5832f..1c0303ece6bd022872e73a60de7a2fecdc16bf27 100644 (file)
--- 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 ||