From: Timo Heister Date: Sun, 25 Jun 2023 18:45:05 +0000 (-0400) Subject: fix unused variable warning X-Git-Tag: v9.5.0-rc1~20^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c87bda36b6b942e8bda66036d364caa2a0322b2d;p=dealii.git fix unused variable warning --- diff --git a/source/opencascade/utilities.cc b/source/opencascade/utilities.cc index b095a110fc..facee29430 100644 --- a/source/opencascade/utilities.cc +++ b/source/opencascade/utilities.cc @@ -714,6 +714,7 @@ namespace OpenCASCADE [[maybe_unused]] unsigned int counter = 0; # else unsigned int counter = 0; + (void)counter; # endif unsigned int face_counter = 0;