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 e6a026aa812c1f450ce6dbe070ef582459a36e25..32bafd5a22c8e1dab967a3f3a52ff91761aa0343 100644 (file)
--- 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]);