From 32381907972e16d5f72705eaf5350b731a9d71c8 Mon Sep 17 00:00:00 2001 From: "N. Engelhardt" Date: Mon, 14 Sep 2020 12:43:18 +0200 Subject: use the new isPublic() in a few places --- backends/aiger/aiger.cc | 2 +- backends/aiger/xaiger.cc | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'backends/aiger') diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc index 81a3f483b..476b30488 100644 --- a/backends/aiger/aiger.cc +++ b/backends/aiger/aiger.cc @@ -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 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 -- cgit v1.2.3