avoid unused variable warning

in release mode

diff --git a/source/distributed/tria.cc b/source/distributed/tria.cc
index 069a0d9f4464d6582c082f186109d1d720c879b0..5d68dd2e067a8d28201092be708012b285829cf7 100644 (file)
--- 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