diff options
| author | Mike Kaganski <mike.kaganski@collabora.com> | 2021-05-29 21:16:00 +0200 |
|---|---|---|
| committer | Mike Kaganski <mike.kaganski@collabora.com> | 2021-05-29 21:58:15 +0200 |
| commit | e0c4cdf9a874bb40f028a26562e6399d39cb2c0f (patch) | |
| tree | 39200f21ddf59e590694c8ad3ae6056a540718ec /xmloff | |
| parent | 782b189045b571c841d7124a8d753797a108a6f5 (diff) | |
Missing include
Change-Id: I0b818b5bad00006e3577b65fe7bccc7a258cbf54
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/116165
Tested-by: Jenkins
Reviewed-by: Mike Kaganski <mike.kaganski@collabora.com>
Diffstat (limited to 'xmloff')
| -rw-r--r-- | xmloff/source/text/txtimp.cxx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/xmloff/source/text/txtimp.cxx b/xmloff/source/text/txtimp.cxx index 90dc8dcc0c84..813e66ed8083 100644 --- a/xmloff/source/text/txtimp.cxx +++ b/xmloff/source/text/txtimp.cxx @@ -18,6 +18,7 @@ */ #include <memory> +#include <optional> #include <tuple> #include <vector> |