diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-07-30 19:59:29 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-07-30 19:59:29 +0200 |
commit | 6400ae36489a7ada5419d7bc502934f6d05e69bb (patch) | |
tree | b61fddfa994173e74ce08ca4a84dbf426a19137a /kernel/register.h | |
parent | 7d98645fe8efcb446079a8a3cd8721ef5e27ee79 (diff) |
Added write_file command
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); |