From 66af891caa6525ca8e0c542f0d81dc5eefc8a126 Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Tue, 17 Mar 2026 17:32:56 +0100
Subject: [PATCH] aiger: ignore $input_port

---
 backends/aiger/aiger.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc
index 0c49e84b8..510cfc6c6 100644
--- a/backends/aiger/aiger.cc
+++ b/backends/aiger/aiger.cc
@@ -337,7 +337,7 @@ struct AigerWriter
 				continue;
 			}
 
-			if (cell->type == ID($scopeinfo))
+			if (cell->type == ID($scopeinfo) || cell->type == ID($input_port))
 				continue;
 
 			log_error("Unsupported cell type: %s (%s)\n", log_id(cell->type), log_id(cell));