diff options
| author | Maxime Coste <mawww@kakoune.org> | 2018-07-26 20:16:48 +1000 |
|---|---|---|
| committer | Maxime Coste <mawww@kakoune.org> | 2018-07-26 20:16:48 +1000 |
| commit | 62fa783bfdd98c933fc716a35e7dce469ca67ad4 (patch) | |
| tree | 56815d540bbf3aad232396cf6a16ef09f3aa3bea /src | |
| parent | 7905382b747ef77515183b15812000122dc5503f (diff) | |
Fix missing override specifier
Diffstat (limited to 'src')
| -rw-r--r-- | src/highlighters.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/highlighters.cc b/src/highlighters.cc index 36a0213a..a2987909 100644 --- a/src/highlighters.cc +++ b/src/highlighters.cc @@ -1835,7 +1835,7 @@ public: ++m_regions_timestamp; } - void remove_child(StringView id) + void remove_child(StringView id) override { if (id == m_default_region) m_default_region = String{}; |