Remove redundant "virtual" when override is used

Author: tautschnig

src/jsil/jsil_language.h

@@ -23,58 +23,57 @@ Author: Michael Tautschnig, [email protected]
 class jsil_languaget:public languaget
 {
 public:
-  virtual bool preprocess(
+  bool preprocess(
     std::istream &instream,
     const std::string &path,
     std::ostream &outstream,
     message_handlert &) override;
 
-  virtual bool parse(
+  bool parse(
     std::istream &instream,
     const std::string &path,
     message_handlert &message_handler) override;
 
-  virtual bool generate_support_functions(
+  bool generate_support_functions(
     symbol_tablet &symbol_table,
     message_handlert &message_handler) override;
 
-  virtual bool typecheck(
+  bool typecheck(
     symbol_tablet &context,
     const std::string &module,
     message_handlert &message_handler) override;
 
-  virtual void show_parse(std::ostream &out, message_handlert &) override;
+  void show_parse(std::ostream &out, message_handlert &) override;
 
   virtual ~jsil_languaget();
   jsil_languaget() { }
 
-  virtual bool from_expr(
-    const exprt &expr,
-    std::string &code,
-    const namespacet &ns) override;
+  bool from_expr(const exprt &expr, std::string &code, const namespacet &ns)
+    override;
 
-  virtual bool from_type(
-    const typet &type,
-    std::string &code,
-    const namespacet &ns) override;
+  bool from_type(const typet &type, std::string &code, const namespacet &ns)
+    override;
 
-  virtual bool to_expr(
+  bool to_expr(
     const std::string &code,
     const std::string &module,
     exprt &expr,
     const namespacet &ns,
     message_handlert &message_handler) override;
 
-  virtual std::unique_ptr<languaget> new_language() override
+  std::unique_ptr<languaget> new_language() override
   { return util_make_unique<jsil_languaget>(); }
 
-  virtual std::string id() const override { return "jsil"; }
-  virtual std::string description() const override
+  std::string id() const override
+  {
+    return "jsil";
+  }
+  std::string description() const override
   { return "Javascript Intermediate Language"; }
-  virtual std::set<std::string> extensions() const override;
+  std::set<std::string> extensions() const override;
 
-  virtual void modules_provided(std::set<std::string> &modules) override;
-  virtual bool interfaces(
+  void modules_provided(std::set<std::string> &modules) override;
+  bool interfaces(
     symbol_tablet &symbol_table,
     message_handlert &message_handler) override;