ebos: try to make travis happy

This commit is contained in:
Andreas Lauser 2016-10-30 19:34:33 +01:00
parent b31fb57636
commit 22681c3610

View File

@ -1285,7 +1285,11 @@ private:
{
const auto& elementMapper = this->model().elementMapper();
#if DUNE_VERSION_NEWER(DUNE_COMMON, 2,4)
unsigned globalElemIdx = elementMapper.index(stencil.entity(localDofIdx));
#else
unsigned globalElemIdx = elementMapper.map(stencil.entity(localDofIdx));
#endif
if (localDofIdx != 0) {
unsigned globalCenterElemIdx = elementMapper.index(stencil.entity(/*dofIdx=*/0));