diff options
Diffstat (limited to 'kernel/register.h')
-rw-r--r-- | kernel/register.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kernel/register.h b/kernel/register.h index 68f09c82..41780bfb 100644 --- a/kernel/register.h +++ b/kernel/register.h @@ -66,7 +66,7 @@ struct Frontend : Pass Frontend(std::string name, std::string short_help = "** document me **"); virtual void run_register(); virtual ~Frontend(); - virtual void execute(std::vector<std::string> args, RTLIL::Design *design); + virtual void execute(std::vector<std::string> args, RTLIL::Design *design) override final; virtual void execute(FILE *&f, std::string filename, std::vector<std::string> args, RTLIL::Design *design) = 0; static std::vector<std::string> next_args; @@ -82,7 +82,7 @@ struct Backend : Pass Backend(std::string name, std::string short_help = "** document me **"); virtual void run_register(); virtual ~Backend(); - virtual void execute(std::vector<std::string> args, RTLIL::Design *design); + virtual void execute(std::vector<std::string> args, RTLIL::Design *design) override final; virtual void execute(FILE *&f, std::string filename, std::vector<std::string> args, RTLIL::Design *design) = 0; void extra_args(FILE *&f, std::string &filename, std::vector<std::string> args, size_t argidx); |