diff options
Diffstat (limited to 'desktop/inc/pch/precompiled_deploymentgui.hxx')
| -rw-r--r-- | desktop/inc/pch/precompiled_deploymentgui.hxx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/desktop/inc/pch/precompiled_deploymentgui.hxx b/desktop/inc/pch/precompiled_deploymentgui.hxx index e1ad0a551535..994036573ac1 100644 --- a/desktop/inc/pch/precompiled_deploymentgui.hxx +++ b/desktop/inc/pch/precompiled_deploymentgui.hxx @@ -37,7 +37,7 @@ #include <string> #include <utility> #include <vector> -#include <boost/optional.hpp> +#include <o3tl/optional.hxx> #endif // PCH_LEVEL >= 1 #if PCH_LEVEL >= 2 #include <osl/conditn.hxx> |