Include header <optional>

tturocy · tturocy · commit 89373d731038 · 2025-12-16T16:19:01.000Z
diff --git a/src/core/util.h b/src/core/util.h
@@ -30,6 +30,7 @@
 #include <algorithm>
 #include <numeric>
 #include <map>
+#include <optional>
 
 namespace Gambit {
 
