Merge pull request #4878 from YosysHQ/emil/fix-wreduce-warning-in-pool

wreduce: fix warning for deprecated IdString::in(pool<IdString>)
This commit is contained in:
Emil J 2025-01-30 15:53:46 +01:00 committed by GitHub
commit f445479374
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -280,7 +280,7 @@ struct WreduceWorker
{
bool did_something = false;
if (!cell->type.in(config->supported_cell_types))
if (!config->supported_cell_types.count(cell->type))
return;
if (cell->type.in(ID($mux), ID($pmux)))