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