diff options
author | N. Engelhardt <nak@symbioticeda.com> | 2020-09-21 15:18:06 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-21 15:18:06 +0200 |
commit | ed5790382ac8427f8681456e00d76b8dce92d87d (patch) | |
tree | ae8eb8e76197fd4dbe0bda96eb977a380af009b6 /backends/aiger/xaiger.cc | |
parent | c6ff947f6bac336ab5a31913c2daf7ad1cb8b91b (diff) | |
parent | 32381907972e16d5f72705eaf5350b731a9d71c8 (diff) | |
download | yosys-ed5790382ac8427f8681456e00d76b8dce92d87d.tar.gz yosys-ed5790382ac8427f8681456e00d76b8dce92d87d.tar.bz2 yosys-ed5790382ac8427f8681456e00d76b8dce92d87d.zip |
Merge pull request #2372 from nakengelhardt/name_is_public
add IdString::isPublic()
Diffstat (limited to 'backends/aiger/xaiger.cc')
-rw-r--r-- | backends/aiger/xaiger.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index ef0103c17..27499b64a 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -146,7 +146,7 @@ struct XAigerWriter // promote public wires for (auto wire : module->wires()) - if (wire->name[0] == '\\') + if (wire->name.isPublic()) sigmap.add(wire); // promote input wires |