overloaded methods don't need virtual keyword

Author: Daniel Kroening

src/solvers/flattening/arrays.h

@@ -27,7 +27,7 @@ class arrayst:public equalityt
 public:
   arrayst(const namespacet &_ns, propt &_prop);
 
-  virtual void post_process() override
+  void post_process() override
   {
     post_process_arrays();
     SUB::post_process();

src/solvers/flattening/boolbv.h

@@ -47,17 +47,17 @@ class boolbvt:public arrayst
   virtual bvt convert_bitvector(const exprt &expr); // no cache
 
   // overloading
-  virtual exprt get(const exprt &expr) const override;
-  virtual void set_to(const exprt &expr, bool value) override;
-  virtual void print_assignment(std::ostream &out) const override;
+  exprt get(const exprt &expr) const override;
+  void set_to(const exprt &expr, bool value) override;
+  void print_assignment(std::ostream &out) const override;
 
-  virtual void clear_cache() override
+  void clear_cache() override
   {
     SUB::clear_cache();
     bv_cache.clear();
   }
 
-  virtual void post_process() override
+  void post_process() override
   {
     post_process_quantifiers();
     functions.post_process();

src/solvers/flattening/bv_pointers.h

@@ -19,7 +19,7 @@ class bv_pointerst:public boolbvt
 public:
   bv_pointerst(const namespacet &_ns, propt &_prop);
 
-  virtual void post_process();
+  void post_process() override;
 
 protected:
   pointer_logict pointer_logic;
@@ -35,15 +35,14 @@ class bv_pointerst:public boolbvt
   virtual void add_addr(const exprt &expr, bvt &bv);
 
   // overloading
-  virtual literalt convert_rest(const exprt &expr);
+  literalt convert_rest(const exprt &expr) override;
+  bvt convert_bitvector(const exprt &expr) override; // no cache
 
-  virtual bvt convert_bitvector(const exprt &expr); // no cache
-
-  virtual exprt bv_get_rec(
+  exprt bv_get_rec(
     const bvt &bv,
     const std::vector<bool> &unknown,
     std::size_t offset,
-    const typet &type) const;
+    const typet &type) const override;
 
   bool convert_address_of_rec(
     const exprt &expr,

src/solvers/flattening/equality.h

@@ -25,7 +25,7 @@ class equalityt:public prop_conv_solvert
 
   virtual literalt equality(const exprt &e1, const exprt &e2);
 
-  virtual void post_process() override
+  void post_process() override
   {
     add_equality_constraints();
     prop_conv_solvert::post_process();