1 files changed, 2 insertions, 3 deletions
diff --git a/src/theory/substitutions.h b/src/theory/substitutions.h
index cca39a62e..2a2531887 100644
--- a/src/theory/substitutions.h
+++ b/src/theory/substitutions.h
@@ -76,9 +76,8 @@ private:
   class CacheInvalidator : public context::ContextNotifyObj {
     bool& d_cacheInvalidated;
   protected:
-    void contextNotifyPop() {
-      d_cacheInvalidated = true;
-    }
+   void contextNotifyPop() override { d_cacheInvalidated = true; }
+
   public:
     CacheInvalidator(context::Context* context, bool& cacheInvalidated) :
       context::ContextNotifyObj(context),