From 8689662a9934620720e7f633b293f05391134273 Mon Sep 17 00:00:00 2001 From: Peter Munch Date: Sat, 20 Jan 2024 18:38:02 +0100 Subject: [PATCH] Fix one more warning --- source/grid/grid_generator.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/source/grid/grid_generator.cc b/source/grid/grid_generator.cc index 2ece4e68e4..8bcc8b1f4c 100644 --- a/source/grid/grid_generator.cc +++ b/source/grid/grid_generator.cc @@ -1431,6 +1431,7 @@ namespace GridGenerator cell->face(5)->set_all_boundary_ids(1); ++count; } + (void)count; Assert(count == 48, ExcInternalError()); } else -- 2.39.5