]> https://gitweb.dealii.org/ - dealii.git/commitdiff
avoid unused variable warning 12871/head
authorTimo Heister <timo.heister@gmail.com>
Sat, 23 Oct 2021 14:44:14 +0000 (10:44 -0400)
committerTimo Heister <timo.heister@gmail.com>
Sat, 23 Oct 2021 14:44:14 +0000 (10:44 -0400)
in release mode

source/distributed/tria.cc

index 069a0d9f4464d6582c082f186109d1d720c879b0..5d68dd2e067a8d28201092be708012b285829cf7 100644 (file)
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.