From f76af0c638d283c5d51d331ef155b889b2c6c47f Mon Sep 17 00:00:00 2001
From: Christian Engwer <christi@dune-project.org>
Date: Mon, 16 Sep 2024 16:08:16 +0200
Subject: [PATCH] mark numberOfIgnoredDofs as [[maybe_unused]]
---
dune/istl/umfpack.hh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dune/istl/umfpack.hh b/dune/istl/umfpack.hh
index 23c91c0c3..54cb264b0 100644
--- a/dune/istl/umfpack.hh
+++ b/dune/istl/umfpack.hh
@@ -534,7 +534,7 @@ namespace Dune {
// and a mapping from the compressed indices
std::vector<size_type> subIndices;
- int numberOfIgnoredDofs = 0;
+ [[maybe_unused]] int numberOfIgnoredDofs = 0;
int nonZeros = 0;
if constexpr ( useBitVector )
--
GitLab