std::vector -> std::array

diff --git a/source/grid/grid_in.cc b/source/grid/grid_in.cc
index bcbe801a8e9774ce51307965a3e57297119fb2fb..5da5ea53b832061c405673d52c0af282644132ef 100644 (file)
--- 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 829d560c665eebdd49036d77fc1d2707ea151577..307edb15977f48e5e26f80294ad0dc3349165889 100644 (file)
--- 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}},