From: Timo Heister <timo.heister@gmail.com>
Date: Sat, 23 Oct 2021 14:44:14 +0000 (-0400)
Subject: avoid unused variable warning
X-Git-Tag: v9.4.0-rc1~902^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a08d8dad37d139985f4c61f9b4119702b604d8ef;p=dealii.git

avoid unused variable warning

in release mode
---

diff --git a/source/distributed/tria.cc b/source/distributed/tria.cc
index 069a0d9f44..5d68dd2e06 100644
--- a/source/distributed/tria.cc
+++ b/source/distributed/tria.cc
@@ -681,6 +681,7 @@ namespace
     void * /* this is always nullptr */ point)
   {
     // point must be nullptr here
+    (void)point;
     Assert(point == nullptr, dealii::ExcInternalError());
 
     // we need the user pointer