need <optional> include in streams.hpp

AztecProtocol · Feb 15, 2023 · 539a05d · 539a05d
1 parent 6f91194
commit 539a05d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/cpp/src/aztec/common/streams.hpp b/cpp/src/aztec/common/streams.hpp
@@ -3,6 +3,7 @@
 #include <ostream>
 #include <map>
 #include <vector>
+#include <optional>
 
 namespace std {