From 87bc4cf693550520746fef51a353ad3bf318376d Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 25 Mar 2019 17:57:06 -0700 Subject: [PATCH] virtual -> override Signed-off-by: Nikolaj Bjorner --- src/ast/special_relations_decl_plugin.h | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/src/ast/special_relations_decl_plugin.h b/src/ast/special_relations_decl_plugin.h index ef432dbcc..e8260e154 100644 --- a/src/ast/special_relations_decl_plugin.h +++ b/src/ast/special_relations_decl_plugin.h @@ -40,19 +40,19 @@ class special_relations_decl_plugin : public decl_plugin { symbol m_to; public: special_relations_decl_plugin(); - virtual ~special_relations_decl_plugin() {} - virtual decl_plugin * mk_fresh() { + ~special_relations_decl_plugin() override {} + + decl_plugin * mk_fresh() override { return alloc(special_relations_decl_plugin); } - virtual func_decl * mk_func_decl(decl_kind k, unsigned num_parameters, parameter const * parameters, - unsigned arity, sort * const * domain, sort * range); + func_decl * mk_func_decl(decl_kind k, unsigned num_parameters, parameter const * parameters, + unsigned arity, sort * const * domain, sort * range) override; - virtual void get_op_names(svector & op_names, symbol const & logic); - - - virtual sort * mk_sort(decl_kind k, unsigned num_parameters, parameter const * parameters) { return 0; } + void get_op_names(svector & op_names, symbol const & logic) override; + + sort * mk_sort(decl_kind k, unsigned num_parameters, parameter const * parameters) override { return nullptr; } }; enum sr_property {