diff options
Diffstat (limited to 'cli/runtime-header.cxx')
-rw-r--r-- | cli/runtime-header.cxx | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/cli/runtime-header.cxx b/cli/runtime-header.cxx index 85ee31f..6dd0899 100644 --- a/cli/runtime-header.cxx +++ b/cli/runtime-header.cxx @@ -16,8 +16,11 @@ generate_runtime_header (context& ctx) os << "#include <deque>" << endl; if (ctx.options.generate_description ()) - os << "#include <map>" << endl - << "#include <vector>" << endl; + os << "#include <map>" << endl; + + if (ctx.options.generate_description () || + ctx.options.generate_vector_scanner ()) + os << "#include <vector>" << endl; os << "#include <iosfwd>" << endl << "#include <string>" << endl |