aboutsummaryrefslogtreecommitdiffstats
path: root/backends/aiger/xaiger.cc
diff options
context:
space:
mode:
authorN. Engelhardt <nak@symbioticeda.com>2020-09-21 15:18:06 +0200
committerGitHub <noreply@github.com>2020-09-21 15:18:06 +0200
commited5790382ac8427f8681456e00d76b8dce92d87d (patch)
treeae8eb8e76197fd4dbe0bda96eb977a380af009b6 /backends/aiger/xaiger.cc
parentc6ff947f6bac336ab5a31913c2daf7ad1cb8b91b (diff)
parent32381907972e16d5f72705eaf5350b731a9d71c8 (diff)
downloadyosys-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.cc2
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