diff options
Diffstat (limited to 'desktop')
| -rw-r--r-- | desktop/source/app/cmdlineargs.hxx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/desktop/source/app/cmdlineargs.hxx b/desktop/source/app/cmdlineargs.hxx index bc9382eb5e36..1ea0084e6fdf 100644 --- a/desktop/source/app/cmdlineargs.hxx +++ b/desktop/source/app/cmdlineargs.hxx @@ -32,6 +32,7 @@ #include <rtl/ustring.hxx> #include <osl/mutex.hxx> #include "boost/optional.hpp" +#include <vector> namespace desktop { |