diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc
index 1320937a0..8283e1131 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", cell->type.unescape(), cell);