add include

potassco · Sep 12, 2024 · 1325a72 · 1325a72
1 parent f7b1c2e
commit 1325a72
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/libclingo-lpx/src/parsing.cc b/libclingo-lpx/src/parsing.cc
@@ -6,6 +6,7 @@
 #include <algorithm>
 #include <iterator>
 #include <map>
+#include <optional>
 #include <regex>
 #include <stdexcept>
 #include <unordered_map>