From a08d8dad37d139985f4c61f9b4119702b604d8ef Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Sat, 23 Oct 2021 10:44:14 -0400 Subject: [PATCH] avoid unused variable warning in release mode --- source/distributed/tria.cc | 1 + 1 file changed, 1 insertion(+) 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 -- 2.39.5