diff options
Diffstat (limited to 'pch')
| -rw-r--r-- | pch/inc/pch/precompiled_system.hxx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pch/inc/pch/precompiled_system.hxx b/pch/inc/pch/precompiled_system.hxx index 93268fcd82a7..0f9afc9f9b0a 100644 --- a/pch/inc/pch/precompiled_system.hxx +++ b/pch/inc/pch/precompiled_system.hxx @@ -33,7 +33,7 @@ #include <boost/multi_index/ordered_index.hpp> #include <boost/multi_index/random_access_index.hpp> #include <boost/operators.hpp> -#include <o3tl/optional.hxx> +#include <optional> #include <boost/property_tree/json_parser.hpp> #include <boost/rational.hpp> #include <boost/version.hpp> |