diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc index 95f4c19e2..ebba812ed 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));