From 9160f648bb9a7bce19b6780d5018425b442f219e Mon Sep 17 00:00:00 2001
From: Matti Kortelainen <matti.kortelainen@cern.ch>
Date: Thu, 28 Jul 2022 23:43:47 +0200
Subject: [PATCH] Add missing #include

---
 IOPool/Common/bin/EdmProvDump.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/IOPool/Common/bin/EdmProvDump.cc b/IOPool/Common/bin/EdmProvDump.cc
index a340aa884a7ec..3a1dae6a36ae7 100644
--- a/IOPool/Common/bin/EdmProvDump.cc
+++ b/IOPool/Common/bin/EdmProvDump.cc
@@ -31,6 +31,7 @@
 #include <iostream>
 #include <memory>
 #include <map>
+#include <optional>
 #include <set>
 #include <sstream>
 #include <vector>