diff options
Diffstat (limited to 'reportdesign/inc/pch/precompiled_rptui.hxx')
| -rw-r--r-- | reportdesign/inc/pch/precompiled_rptui.hxx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/reportdesign/inc/pch/precompiled_rptui.hxx b/reportdesign/inc/pch/precompiled_rptui.hxx index 064d9a9bbc4f..47491a285d29 100644 --- a/reportdesign/inc/pch/precompiled_rptui.hxx +++ b/reportdesign/inc/pch/precompiled_rptui.hxx @@ -54,7 +54,7 @@ #include <utility> #include <vector> #include <boost/intrusive_ptr.hpp> -#include <boost/optional.hpp> +#include <o3tl/optional.hxx> #include <boost/property_tree/ptree.hpp> #endif // PCH_LEVEL >= 1 #if PCH_LEVEL >= 2 |