From 03d26a3aee7074a828b63652e36d2d2446adcb48 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth 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