diff options
Diffstat (limited to 'cli/options.ixx')
-rw-r--r-- | cli/options.ixx | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/cli/options.ixx b/cli/options.ixx index 6e7520b..f8ceadf 100644 --- a/cli/options.ixx +++ b/cli/options.ixx @@ -290,6 +290,12 @@ generate_file_scanner () const } inline const bool& options:: +generate_vector_scanner () const +{ + return this->generate_vector_scanner_; +} + +inline const bool& options:: suppress_inline () const { return this->suppress_inline_; |