From de8a2fb936e25eb54074595b129f02fc14144fe2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Wed, 11 Sep 2024 11:03:14 +0200
Subject: [PATCH] aiger2: Fix duplicate symbols on multibit ports

---
 backends/aiger2/aiger.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/backends/aiger2/aiger.cc b/backends/aiger2/aiger.cc
index 533abc004..a49b5bf1e 100644
--- a/backends/aiger2/aiger.cc
+++ b/backends/aiger2/aiger.cc
@@ -550,7 +550,7 @@ struct AigerWriter : Index<AigerWriter, unsigned int> {
 		f->seekp(data_end);
 		int i = 0;
 		for (auto pair : outputs) {
-			if (pair.first.is_wire()) {
+			if (SigSpec(pair.first).is_wire()) {
 				char buf[32];
 				snprintf(buf, sizeof(buf) - 1, "o%d ", i);
 				f->write(buf, strlen(buf));
@@ -562,7 +562,7 @@ struct AigerWriter : Index<AigerWriter, unsigned int> {
 		}
 		i = 0;
 		for (auto bit : inputs) {
-			if (bit.is_wire()) {
+			if (SigSpec(bit).is_wire()) {
 				char buf[32];
 				snprintf(buf, sizeof(buf) - 1, "i%d ", i);
 				f->write(buf, strlen(buf));