diff options
Diffstat (limited to 'desktop/inc/pch/precompiled_deployment.hxx')
-rw-r--r-- | desktop/inc/pch/precompiled_deployment.hxx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/desktop/inc/pch/precompiled_deployment.hxx b/desktop/inc/pch/precompiled_deployment.hxx index f6fbcba0d6de..667e9e562ece 100644 --- a/desktop/inc/pch/precompiled_deployment.hxx +++ b/desktop/inc/pch/precompiled_deployment.hxx @@ -27,7 +27,7 @@ #include <ostream> #include <unordered_map> #include <vector> -#include <boost/optional.hpp> +#include <o3tl/optional.hxx> #endif // PCH_LEVEL >= 1 #if PCH_LEVEL >= 2 #include <osl/diagnose.h> |