nur/pkgs/ieda/fix_header.patch

13 lines
351 B
Diff
Raw Permalink Normal View History

2024-02-04 04:25:22 +00:00
diff --git a/src/operation/iCTS/api/CTSAPI.hh b/src/operation/iCTS/api/CTSAPI.hh
index 86ff3565..bef443a0 100644
--- a/src/operation/iCTS/api/CTSAPI.hh
+++ b/src/operation/iCTS/api/CTSAPI.hh
@@ -27,6 +27,7 @@
#include <string_view>
#include <type_traits>
#include <vector>
+#include <optional>
#include "../../../database/interaction/ids.hpp"