From 0fee2ef755d2fec5ff053b9d1e0a7f5159946ccc Mon Sep 17 00:00:00 2001
From: Oliver Sander <oliver.sander@tu-dresden.de>
Date: Sat, 9 Nov 2019 06:51:08 +0100
Subject: [PATCH] [uggrid] The Vector::skip field has been renamed
It is used to store certain leaf indices, so let's call it
'leafIndex'.
---
dune/grid/uggrid/ugwrapper.hh | 8 ++------
1 file changed, 2 insertions(+), 6 deletions(-)
diff --git a/dune/grid/uggrid/ugwrapper.hh b/dune/grid/uggrid/ugwrapper.hh
index 25603a68d2..9ef894332d 100644
--- a/dune/grid/uggrid/ugwrapper.hh
+++ b/dune/grid/uggrid/ugwrapper.hh
@@ -788,16 +788,12 @@ namespace Dune {
//! Gets the leaf index of a UG sidevector
static UG::UINT& leafIndex(Vector* theVector) {
- // theVector->skip is actually something other than an index.
- // We use it anyways.
- return theVector->skip;
+ return theVector->leafIndex;
}
//! Gets the leaf index of a UG sidevector
static const UG::UINT& leafIndex(const Vector* theVector) {
- // theVector->skip is actually something other than an index.
- // We use it anyways.
- return theVector->skip;
+ return theVector->leafIndex;
}
//! Gets the leaf index of a UG edge
--
GitLab