Enable -Wsuggest-override by default. (#1643)

Adds missing override keywords.

1 files changed, 8 insertions, 4 deletions

diff --git a/src/expr/node_manager_listeners.h b/src/expr/node_manager_listeners.h
index bdfe5a487..2f2c48ada 100644
--- a/src/expr/node_manager_listeners.h
+++ b/src/expr/node_manager_listeners.h
@@ -28,7 +28,8 @@ namespace expr {
 class TlimitListener : public Listener {
  public:
   TlimitListener(ResourceManager* rm) : d_rm(rm) {}
-  virtual void notify();
+  void notify() override;
+
  private:
   ResourceManager* d_rm;
 };
@@ -36,7 +37,8 @@ class TlimitListener : public Listener {
 class TlimitPerListener : public Listener {
  public:
   TlimitPerListener(ResourceManager* rm) : d_rm(rm) {}
-  virtual void notify();
+  void notify() override;
+
  private:
   ResourceManager* d_rm;
 };
@@ -44,7 +46,8 @@ class TlimitPerListener : public Listener {
 class RlimitListener : public Listener {
  public:
   RlimitListener(ResourceManager* rm) : d_rm(rm) {}
-  virtual void notify();
+  void notify() override;
+
  private:
   ResourceManager* d_rm;
 };
@@ -52,7 +55,8 @@ class RlimitListener : public Listener {
 class RlimitPerListener : public Listener {
  public:
   RlimitPerListener(ResourceManager* rm) : d_rm(rm) {}
-  virtual void notify();
+  void notify() override;
+
  private:
   ResourceManager* d_rm;
 };