From: Timo Heister <timo.heister@gmail.com>
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=refs%2Fpull%2F15482%2Fhead;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;