diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-05-08 14:02:51 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-05-08 14:02:51 -0700 |
| commit | 45acbef88233a5863d03a03203b9c5ffaa07d301 (patch) | |
| tree | 31cb242b87e114989473b3bd6a27e1fbe979b241 /src/aig/gia/giaIf.c | |
| parent | 13a0bb97b5d1f2d67088317655737e726a07cf04 (diff) | |
| download | abc-45acbef88233a5863d03a03203b9c5ffaa07d301.tar.gz abc-45acbef88233a5863d03a03203b9c5ffaa07d301.tar.bz2 abc-45acbef88233a5863d03a03203b9c5ffaa07d301.zip | |
Updating cost function in &save/&load.
Diffstat (limited to 'src/aig/gia/giaIf.c')
| -rw-r--r-- | src/aig/gia/giaIf.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 50101bdf..7056e310 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -241,7 +241,7 @@ void Gia_ManLutParams( Gia_Man_t * p, int * pnCurLuts, int * pnCurEdges, int * p pLevels[i] = Abc_MaxInt( pLevels[i], pLevels[Gia_ObjFaninId1(pObj, i)] ); } *pnCurLevels = Abc_MaxInt( *pnCurLevels, pLevels[i] ); - *pnCurEdges++; + (*pnCurEdges)++; //nMuxF++; continue; } |