]> https://gitweb.dealii.org/ - dealii.git/commitdiff
fix unused variable warning 15482/head
authorTimo Heister <timo.heister@gmail.com>
Sun, 25 Jun 2023 18:45:05 +0000 (14:45 -0400)
committerTimo Heister <timo.heister@gmail.com>
Sun, 25 Jun 2023 18:45:05 +0000 (14:45 -0400)
source/opencascade/utilities.cc

index b095a110fc7a75044b7ea6ae45b0667ced3de8c8..facee29430f3891ccb32e428cc28a880029933c2 100644 (file)
@@ -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;
 

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.