Merge branch 'master' into clk2ff-better-names

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

diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc
index e5a41b5c51f74c0907df7404e51fd4143049b3a8..35935b847e02e3489d69fb4d479dad16d79c4e35 100644 (file)
--- a/backends/aiger/aiger.cc
+++ b/backends/aiger/aiger.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <clifford@clifford.at>
+ *  Copyright (C) 2012  Claire Xenia Wolf <claire@yosyshq.com>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above
@@ -111,7 +111,7 @@ struct AigerWriter
 
                // promote public wires
                for (auto wire : module->wires())
-                       if (wire->name[0] == '\\')
+                       if (wire->name.isPublic())
                                sigmap.add(wire);
 
                // promote input wires
@@ -681,7 +681,7 @@ struct AigerWriter
 
 struct AigerBackend : public Backend {
        AigerBackend() : Backend("aiger", "write design to AIGER file") { }
-       void help() YS_OVERRIDE
+       void help() override
        {
                //   |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
                log("\n");
@@ -719,7 +719,7 @@ struct AigerBackend : public Backend {
                log("        AIGER file happy.\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
        {
                bool ascii_mode = false;
                bool zinit_mode = false;