Skip to content
Snippets Groups Projects

Fix warning: variable 'errorflag' set but not used

Merged Fix warning: variable 'errorflag' set but not used
henrik.stolzmann/dune-uggrid:fix_warning_set_but_unused_errorflag into master
Merged Henrik Stolzmann requested to merge henrik.stolzmann/dune-uggrid:fix_warning_set_but_unused_errorflag into master
Compare
and
1 file
+ 1
− 1
Compare changes
  • Side-by-side
  • Inline
gm/refine.cc
+ 1
− 1
@@ -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];