From 753963fb9cb7e4e854cc5a303ede7753533d8499 Mon Sep 17 00:00:00 2001
From: Kin <kinzhangglimmer@gmail.com>
Date: Sat, 21 Oct 2023 15:14:19 +0200
Subject: [PATCH] add array header

---
 src/timer.hpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/timer.hpp b/src/timer.hpp
index 6bf63e1..4a8eb89 100644
--- a/src/timer.hpp
+++ b/src/timer.hpp
@@ -53,6 +53,7 @@
 #include <sstream>
 #include <string>
 #include <vector>
+#include <array>
 
 class Timer
 {
@@ -349,7 +350,7 @@ class Timing : public Timer
 	    std::size_t group_colors_level = std::numeric_limits<std::size_t>::max(),
 	    int         precision          = 4) const
 	{
-		static constexpr std::array<const char*, 7> RC{redColor(),  greenColor(),   yellowColor(),
+		static constexpr std::array<const char*, 7> const RC{redColor(),  greenColor(),   yellowColor(),
 		                                     blueColor(), magentaColor(), cyanColor(),
 		                                     whiteColor()};
 
@@ -394,7 +395,7 @@ class Timing : public Timer
 	                        bool random_colors, bool bold, std::size_t group_colors_level,
 	                        int precision) const
 	{
-		static constexpr std::array<const char*, 7> RC{redColor(),  greenColor(),   yellowColor(),
+		static constexpr std::array<const char*, 7> const RC{redColor(),  greenColor(),   yellowColor(),
 		                                     blueColor(), magentaColor(), cyanColor(),
 		                                     whiteColor()};