summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBent Bisballe Nyeng <deva@aasimon.org>2025-01-24 09:20:24 +0100
committerBent Bisballe Nyeng <deva@aasimon.org>2025-01-24 09:20:24 +0100
commit6628a2d8b18030dd3ebc714f65e7af90bd0b711a (patch)
tree104d105064fd1fd47cfe390e3b0f599b927769d5
parent3a9b6c7d3672d8fb56ff04f54fb8745931636e3e (diff)
Add missing include.develop
-rw-r--r--src/tools.cc1
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>