From a747e32f9986b07df4824b1d1c45c50ec225033e Mon Sep 17 00:00:00 2001 From: Luca Heltai 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::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> gmsh_to_dealii = { + const std::array, 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 &tria, const std::array dealii_to_gmsh_type = {{15, 1, 2, 3, 4, 7, 6, 5}}; // Vertex renumbering, by dealii type - const std::vector> dealii_to_gmsh = { + const std::array, 8> dealii_to_gmsh = { {{0}, {{0, 1}}, {{0, 1, 2}}, -- 2.39.5