diff options
| author | Mike Kaganski <mike.kaganski@collabora.com> | 2021-05-11 15:20:02 +0200 |
|---|---|---|
| committer | Mike Kaganski <mike.kaganski@collabora.com> | 2021-05-11 16:30:05 +0200 |
| commit | b4c6fe22e2f91f33ce3705f01ef35b46e980b926 (patch) | |
| tree | 88144123f9278e191c7410d8761c2c203e3a5bad /xmloff | |
| parent | 8fa4371664108560dda438be8fc997d9cfe4bb6e (diff) | |
Missing include
Change-Id: Icd36de153a89893d09d74df6c33aa5a2b98f0d7d
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/115280
Tested-by: Jenkins
Reviewed-by: Mike Kaganski <mike.kaganski@collabora.com>
Diffstat (limited to 'xmloff')
| -rw-r--r-- | xmloff/source/core/xmlimp.cxx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/xmloff/source/core/xmlimp.cxx b/xmloff/source/core/xmlimp.cxx index 1f21acef1876..d3973c87e16c 100644 --- a/xmloff/source/core/xmlimp.cxx +++ b/xmloff/source/core/xmlimp.cxx @@ -18,6 +18,7 @@ */ #include <memory> +#include <optional> #include <tools/diagnose_ex.h> #include <sal/log.hxx> |