1 files changed, 3 insertions, 5 deletions
diff --git a/src/theory/bv/bv_inequality_graph.h b/src/theory/bv/bv_inequality_graph.h
index 30270b3c3..deba84631 100644
--- a/src/theory/bv/bv_inequality_graph.h
+++ b/src/theory/bv/bv_inequality_graph.h
@@ -201,11 +201,9 @@ class InequalityGraph : public context::ContextNotifyObj{
   Node makeDiseqSplitLemma(TNode diseq); 
   /** Backtracking mechanisms **/
   std::vector<std::pair<TermId, InequalityEdge> > d_undoStack;
-  context::CDO<unsigned> d_undoStackIndex; 
-  
-  void contextNotifyPop() {
-    backtrack();
-  }
+  context::CDO<unsigned> d_undoStackIndex;
+
+  void contextNotifyPop() override { backtrack(); }
 
   void backtrack();