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 d18b0033fd18e584025e9a0173c5bcfb2f648e88..9f6beb99d24265d1d8485b139d718ef4339e0536 100644 (file)
--- 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,