diff options
Diffstat (limited to 'desktop/source/deployment/registry/script/dp_scriptbackenddb.hxx')
-rw-r--r-- | desktop/source/deployment/registry/script/dp_scriptbackenddb.hxx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/desktop/source/deployment/registry/script/dp_scriptbackenddb.hxx b/desktop/source/deployment/registry/script/dp_scriptbackenddb.hxx index a6de29ffb0b2..3f2cfed20a2e 100644 --- a/desktop/source/deployment/registry/script/dp_scriptbackenddb.hxx +++ b/desktop/source/deployment/registry/script/dp_scriptbackenddb.hxx @@ -22,7 +22,7 @@ #include <rtl/ustring.hxx> #include <dp_backenddb.hxx> -#include <o3tl/optional.hxx> +#include <optional> namespace com { namespace sun { namespace star { namespace uno { |