From: Daniel Arndt <arndtd@ornl.gov>
Date: Fri, 5 Jun 2020 18:26:20 +0000 (-0400)
Subject: Fix type of variable in GridTools::compute_local_to_global_vertex_index_map
X-Git-Tag: v9.3.0-rc1~1478^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=179299e8fe00cb16d5d55b79ff2a27169ca9b25a;p=dealii.git

Fix type of variable in GridTools::compute_local_to_global_vertex_index_map
---

diff --git a/source/grid/grid_tools.cc b/source/grid/grid_tools.cc
index d18b0033fd..9f6beb99d2 100644
--- a/source/grid/grid_tools.cc
+++ b/source/grid/grid_tools.cc
@@ -2266,7 +2266,7 @@ namespace GridTools
 
     // Make indices global by getting the number of vertices owned by each
     // processors and shifting the indices accordingly
-    types::global_dof_index shift = 0;
+    types::global_vertex_index shift = 0;
     int ierr = MPI_Exscan(&next_index,
                           &shift,
                           1,