1 files changed, 16 insertions, 16 deletions
diff --git a/src/theory/sets/theory_sets.h b/src/theory/sets/theory_sets.h
index 1f0fbdd1f..a246903a1 100644
--- a/src/theory/sets/theory_sets.h
+++ b/src/theory/sets/theory_sets.h
@@ -46,36 +46,36 @@ public:
 
   ~TheorySets();
 
-  void addSharedTerm(TNode);
+  void addSharedTerm(TNode) override;
 
-  void check(Effort);
-  
-  bool needsCheckLastEffort();
+  void check(Effort) override;
+
+  bool needsCheckLastEffort() override;
 
   bool collectModelInfo(TheoryModel* m) override;
 
-  void computeCareGraph();
+  void computeCareGraph() override;
+
+  Node explain(TNode) override;
 
-  Node explain(TNode);
+  EqualityStatus getEqualityStatus(TNode a, TNode b) override;
 
-  EqualityStatus getEqualityStatus(TNode a, TNode b);
+  Node getModelValue(TNode) override;
 
-  Node getModelValue(TNode);
+  std::string identify() const override { return "THEORY_SETS"; }
 
-  std::string identify() const { return "THEORY_SETS"; }
+  void preRegisterTerm(TNode node) override;
 
-  void preRegisterTerm(TNode node);
+  Node expandDefinition(LogicRequest& logicRequest, Node n) override;
 
-  Node expandDefinition(LogicRequest &logicRequest, Node n);
+  PPAssertStatus ppAssert(TNode in, SubstitutionMap& outSubstitutions) override;
 
-  PPAssertStatus ppAssert(TNode in, SubstitutionMap& outSubstitutions);
+  void presolve() override;
 
-  void presolve();
+  void propagate(Effort) override;
 
-  void propagate(Effort);
+  void setMasterEqualityEngine(eq::EqualityEngine* eq) override;
 
-  void setMasterEqualityEngine(eq::EqualityEngine* eq);
-  
   bool isEntailed( Node n, bool pol );
 
 };/* class TheorySets */