From 13fce3e5b0e64a629563bf22d83ecb08459e33e3 Mon Sep 17 00:00:00 2001
From: Yuval Tassa <tassa@google.com>
Date: Wed, 26 Jun 2024 04:52:09 -0700
Subject: [PATCH] Use std::array instead of std::vector for a constant array of
 strings.

PiperOrigin-RevId: 646826439
Change-Id: I7d9462109027ebb64cb52e3265dde87ca23f906f
---
 src/xml/xml_native_writer.cc | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/src/xml/xml_native_writer.cc b/src/xml/xml_native_writer.cc
index a51f1709b8..b3db60afa7 100644
--- a/src/xml/xml_native_writer.cc
+++ b/src/xml/xml_native_writer.cc
@@ -14,6 +14,7 @@
 
 #include "xml/xml_native_writer.h"
 
+#include <array>
 #include <cstddef>
 #include <cstdio>
 #include <string>
@@ -72,11 +73,11 @@ static string WriteDoc(XMLDocument& doc, char *error, size_t error_sz) {
   std::string str = string(stream.CStr());
 
   // top level sections
-  auto sections = {"<actuator",  "<asset",     "<compiler",   "<contact",
-                   "<custom",    "<default>",  "<deformable", "<equality",
-                   "<extension", "<keyframe",  "<option",     "<sensor",
-                   "<size",      "<statistic", "<tendon",     "<visual",
-                   "<worldbody"};
+  std::array<std::string, 17> sections = {
+      "<actuator", "<asset",      "<compiler", "<contact",   "<custom",
+      "<default>", "<deformable", "<equality", "<extension", "<keyframe",
+      "<option",   "<sensor",     "<size",     "<statistic", "<tendon",
+      "<visual",   "<worldbody"};
 
   // position of newline before first section
   size_t first_pos = std::string::npos;