1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools.cc b/src/tools.cc
index db13855..8c9b7e2 100644
--- a/src/tools.cc
+++ b/src/tools.cc
@@ -6,6 +6,7 @@
 #include <filesystem>
 #include <iostream>
 #include <sstream>
+#include <array>
 
 #include <cassert>
 #include <cstdio>