Add missing header.

2026-04-21 02:17:08 +00:00 · 2024-12-29 22:36:14 -05:00
parent 0751c51803
commit b0d1dee38b
1 changed files with 1 additions and 0 deletions
@@ -20,6 +20,7 @@

 #include <algorithm>
 #include <cstring>
+#include <optional>
 #include <sstream>
 #include <unordered_set>