mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-05-12 18:24:44 +00:00
Code Activity

Fix build for gcc

Browse source
This commit is contained in:
Martin Povišer 2025-01-08 21:17:41 +01:00
parent a6e22671bb
commit 831f857681
1 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

10
backends/aiger2/aiger.cc
View file

@ -1476,7 +1476,7 @@ struct Partitioning : Index<Partitioning, int64_t, -1, 1> {
int64_t nvars = 1;
int64_t ngates = 0;
mfp<Lit> mfp;
mfp<Lit> mfp_;
Lit emit_gate(Lit a, Lit b)
{
@ -1488,8 +1488,8 @@ struct Partitioning : Index<Partitioning, int64_t, -1, 1> {
ngates++;
Lit ret = ++nvars;
mfp.merge(ret, a);
mfp.merge(ret, b);
mfp_.merge(ret, a);
mfp_.merge(ret, b);
return ret;
}
@ -1528,8 +1528,8 @@ struct Partitioning : Index<Partitioning, int64_t, -1, 1> {
dict<Lit, int> partition_sizes;
for (Lit var : mfp)
partition_sizes[mfp.lookup(var)]++;
for (Lit var : mfp_)
partition_sizes[mfp_.lookup(var)]++;
std::vector<int> sorted;
for (auto pair : partition_sizes)