From a747e32f9986b07df4824b1d1c45c50ec225033e Mon Sep 17 00:00:00 2001
From: Luca Heltai <luca.heltai@sissa.it>
Date: Fri, 29 Jan 2021 21:36:21 +0100
Subject: [PATCH] std::vector -> std::array

---
 source/grid/grid_in.cc  | 2 +-
 source/grid/grid_out.cc | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/source/grid/grid_in.cc b/source/grid/grid_in.cc
index bcbe801a8e..5da5ea53b8 100644
--- a/source/grid/grid_in.cc
+++ b/source/grid/grid_in.cc
@@ -2194,7 +2194,7 @@ GridIn<dim, spacedim>::read_msh(const std::string &fname)
     {{15, 0}, {1, 1}, {2, 2}, {3, 3}, {4, 4}, {7, 5}, {6, 6}, {5, 7}}};
 
   // Vertex renumbering, by dealii type
-  const std::vector<std::vector<unsigned int>> gmsh_to_dealii = {
+  const std::array<std::vector<unsigned int>, 8> gmsh_to_dealii = {
     {{0},
      {{0, 1}},
      {{0, 1, 2}},
diff --git a/source/grid/grid_out.cc b/source/grid/grid_out.cc
index 829d560c66..307edb1597 100644
--- a/source/grid/grid_out.cc
+++ b/source/grid/grid_out.cc
@@ -1484,7 +1484,7 @@ GridOut::write_msh(const Triangulation<dim, spacedim> &tria,
   const std::array<int, 8> dealii_to_gmsh_type = {{15, 1, 2, 3, 4, 7, 6, 5}};
 
   // Vertex renumbering, by dealii type
-  const std::vector<std::vector<unsigned int>> dealii_to_gmsh = {
+  const std::array<std::vector<unsigned int>, 8> dealii_to_gmsh = {
     {{0},
      {{0, 1}},
      {{0, 1, 2}},
-- 
2.39.5