From: Timo Heister <timo.heister@gmail.com>
Date: Sat, 15 Feb 2020 04:55:22 +0000 (-0500)
Subject: Use a 64bit type in one other MGTransfer location
X-Git-Tag: v9.2.0-rc1~515^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F9534%2Fhead;p=dealii.git

Use a 64bit type in one other MGTransfer location

This is a local index (how manyth index) and as such likely under 4
billion. I found it harder to assert or document why this cast makes
sense, so I rather change the type.
---

diff --git a/source/multigrid/mg_transfer_internal.cc b/source/multigrid/mg_transfer_internal.cc
index e6a026aa81..32bafd5a22 100644
--- a/source/multigrid/mg_transfer_internal.cc
+++ b/source/multigrid/mg_transfer_internal.cc
@@ -160,10 +160,10 @@ namespace internal
                     }
                   else
                     {
-                      // get the relevant dofs index - this might be more
+                      // Get the relevant dofs index - this might be more
                       // expensive to look up than the active indices, so we
-                      // only do it for the local-remote case within this loop
-                      const unsigned int relevant_idx =
+                      // only do it for the local-remote case within this loop.
+                      const types::global_dof_index relevant_idx =
                         globally_relevant.index_within_set(
                           global_dof_indices[i]);