Merge pull request #4405 from GitPaean/adding_optional_header

including <optional> header to WellContainer
This commit is contained in:
Bård Skaflestad
2023-01-24 11:09:16 +01:00
committed by GitHub
+1
View File
@@ -21,6 +21,7 @@
#define OPM_WELL_CONTAINER_HEADER_INCLUDED
#include <initializer_list>
#include <optional>
#include <stdexcept>
#include <string>
#include <unordered_map>