From 2e362ece9e683469ed2b7ffad336cbf76c5b603b Mon Sep 17 00:00:00 2001
From: Oliver Sander <oliver.sander@tu-dresden.de>
Date: Tue, 19 Jun 2018 12:27:43 +0200
Subject: [PATCH] Remove unused local variable nOwnedLocalEntity_
---
dune/gfe/parallel/globalp2mapper.hh | 1 -
1 file changed, 1 deletion(-)
diff --git a/dune/gfe/parallel/globalp2mapper.hh b/dune/gfe/parallel/globalp2mapper.hh
index 24033416..55c98805 100644
--- a/dune/gfe/parallel/globalp2mapper.hh
+++ b/dune/gfe/parallel/globalp2mapper.hh
@@ -155,7 +155,6 @@ namespace Dune {
IndexMap localGlobalMap_;
- size_t nOwnedLocalEntity_;
size_t size_;
};
--
GitLab