From 77ef56cabd048f5b85a8ee123f2980edd0f4ddf7 Mon Sep 17 00:00:00 2001
From: Henrik Stolzmann <henrik.stolzmann@mailbox.tu-dresden.de>
Date: Wed, 10 Apr 2019 22:30:48 +0200
Subject: [PATCH] Fix warning: variable 'errorflag' set but not used
````
I added the attribute "DUNE_UNUSED" to the variable "errorflag" to avoid the
warning: "variable 'errorflag' set but not used".
````
---
gm/refine.cc | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gm/refine.cc b/gm/refine.cc
index 7ea02bdbb..2b5083b92 100644
--- a/gm/refine.cc
+++ b/gm/refine.cc
@@ -2977,7 +2977,7 @@ static void CheckElementContextConsistency(ELEMENT *theElement,
ELEMENTCONTEXT theElementContext)
{
int i;
- int errorflag = 0;
+ DUNE_UNUSED int errorflag = 0;
int errortype[MAX_CORNERS_OF_ELEM+MAX_NEW_CORNERS_DIM];
int correcttype[MAX_CORNERS_OF_ELEM+MAX_NEW_CORNERS_DIM];
--
GitLab