diff options
| author | Jason Felice <jason.m.felice@gmail.com> | 2019-11-02 16:49:26 -0400 |
|---|---|---|
| committer | Jason Felice <jason.m.felice@gmail.com> | 2019-11-09 12:53:45 -0500 |
| commit | d26bb0ce2bd7bffd87b38b466f1e9642b85d0715 (patch) | |
| tree | 7d03051b0b2c104bf809c9d91fead12903cdc561 /src/command_manager.cc | |
| parent | 49ca5127336d1bac7b3e64e3efa7b20060a9f96a (diff) | |
Add static or const where useful
Diffstat (limited to 'src/command_manager.cc')
| -rw-r--r-- | src/command_manager.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/command_manager.cc b/src/command_manager.cc index 294d3eab..099ee244 100644 --- a/src/command_manager.cc +++ b/src/command_manager.cc @@ -284,12 +284,12 @@ Token parse_percent_token(Reader& reader, bool throw_on_unterminated) } } -auto expand_option(Option& opt, std::true_type) +auto expand_option(const Option& opt, std::true_type) { return opt.get_as_string(Quoting::Raw); } -auto expand_option(Option& opt, std::false_type) +auto expand_option(const Option& opt, std::false_type) { return opt.get_as_strings(); } |