cxxrtl: make alias analysis outlining-aware.

[yosys.git] / backends / smv / smv.cc

diff --git a/backends/smv/smv.cc b/backends/smv/smv.cc
index 2fc7099f4f6363372aeb8a8adbacd84a396b5e5b..4e5c6050db61be169b5d7c9105fc7412dd2195e6 100644 (file)
--- a/backends/smv/smv.cc
+++ b/backends/smv/smv.cc
@@ -702,7 +702,7 @@ struct SmvWorker
 
 struct SmvBackend : public Backend {
        SmvBackend() : Backend("smv", "write design to SMV file") { }
-       void help() YS_OVERRIDE
+       void help() override
        {
                //   |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
                log("\n");
@@ -720,7 +720,7 @@ struct SmvBackend : public Backend {
                log("THIS COMMAND IS UNDER CONSTRUCTION\n");
                log("\n");
        }
-       void execute(std::ostream *&f, std::string filename, std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE
+       void execute(std::ostream *&f, std::string filename, std::vector<std::string> args, RTLIL::Design *design) override
        {
                std::ifstream template_f;
                bool verbose = false;