aboutsummaryrefslogtreecommitdiffstats
path: root/backends/smv/smv.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2018-08-15 14:05:38 +0200
committerGitHub <noreply@github.com>2018-08-15 14:05:38 +0200
commit67b10262975340e0b53f8d1072ac2e1c1f087fb1 (patch)
treec10a6e56f6f5b61ce3fbff7c165207cc40d704c8 /backends/smv/smv.cc
parentd8e40c75eb96e7f3c995b2acd018b5cba6005cdd (diff)
parent3aa4484a3cd9a2e82fddd499cde575eaf8c565cc (diff)
downloadyosys-67b10262975340e0b53f8d1072ac2e1c1f087fb1.tar.gz
yosys-67b10262975340e0b53f8d1072ac2e1c1f087fb1.tar.bz2
yosys-67b10262975340e0b53f8d1072ac2e1c1f087fb1.zip
Merge pull request #591 from hzeller/virtual-override
Consistent use of 'override' for virtual methods in derived classes.
Diffstat (limited to 'backends/smv/smv.cc')
-rw-r--r--backends/smv/smv.cc4
1 files changed, 2 insertions, 2 deletions
diff --git a/backends/smv/smv.cc b/backends/smv/smv.cc
index 768969e6b..b8383412b 100644
--- a/backends/smv/smv.cc
+++ b/backends/smv/smv.cc
@@ -675,7 +675,7 @@ struct SmvWorker
struct SmvBackend : public Backend {
SmvBackend() : Backend("smv", "write design to SMV file") { }
- virtual void help()
+ void help() YS_OVERRIDE
{
// |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
log("\n");
@@ -693,7 +693,7 @@ struct SmvBackend : public Backend {
log("THIS COMMAND IS UNDER CONSTRUCTION\n");
log("\n");
}
- virtual void execute(std::ostream *&f, std::string filename, std::vector<std::string> args, RTLIL::Design *design)
+ void execute(std::ostream *&f, std::string filename, std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE
{
std::ifstream template_f;
bool verbose = false;