testgen: Add missing include (#3931)

p4lang · Mar 20, 2023 · 2e52ffa · 2e52ffa
1 parent ada3b00
commit 2e52ffa
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/backends/p4tools/modules/testgen/core/symbolic_executor/greedy_stmt_cov.h b/backends/p4tools/modules/testgen/core/symbolic_executor/greedy_stmt_cov.h
@@ -3,6 +3,7 @@
 
 #include <cstdint>
 #include <ctime>
+#include <optional>
 #include <stack>
 #include <vector>