diff options
| author | Jason Felice <jason.m.felice@gmail.com> | 2019-11-02 17:07:49 -0400 |
|---|---|---|
| committer | Jason Felice <jason.m.felice@gmail.com> | 2019-11-09 12:53:45 -0500 |
| commit | c589f475a5b0ffc9e5325a84bb3ff3ca32ff0fe1 (patch) | |
| tree | c49c3f4f6163332a6d72c81c59ad8aec6cfccbde /src/scope.hh | |
| parent | d26bb0ce2bd7bffd87b38b466f1e9642b85d0715 (diff) | |
Add override
Diffstat (limited to 'src/scope.hh')
| -rw-r--r-- | src/scope.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scope.hh b/src/scope.hh index e29a3c94..870e1159 100644 --- a/src/scope.hh +++ b/src/scope.hh @@ -57,7 +57,7 @@ class GlobalScope : public Scope, public OptionManagerWatcher, public Singleton< OptionsRegistry& option_registry() { return m_option_registry; } const OptionsRegistry& option_registry() const { return m_option_registry; } private: - void on_option_changed(const Option& option); + void on_option_changed(const Option& option) override; OptionsRegistry m_option_registry; }; |