Merge pull request #663 from ohmtech-rdi/fix-erb-persistent-missing-h…

…eader Add missing header
ohmtech-rdi · Feb 9, 2024 · ded4543 · ded4543
2 parents 9f73ad9 + 99d28b3
commit ded4543
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/include/erb/Persistent.hpp b/include/erb/Persistent.hpp
@@ -13,6 +13,8 @@
 
 /*\\\ INCLUDE FILES \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\*/
 
+#include <array>
+
 #include <cstring>