diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-07 15:54:50 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-07 15:54:50 -0700 |
| commit | f05986f7b393f570b486a0d7e5cb203e66dac1f8 (patch) | |
| tree | 4a49e15edae2e514ad1ea7529d668184a969ddb5 /src/aig/gia/giaSweep.c | |
| parent | 95ab749087c2aaac033829e0ec2cf8d1d44f37bf (diff) | |
| download | abc-f05986f7b393f570b486a0d7e5cb203e66dac1f8.tar.gz abc-f05986f7b393f570b486a0d7e5cb203e66dac1f8.tar.bz2 abc-f05986f7b393f570b486a0d7e5cb203e66dac1f8.zip | |
Supporting edges in delay-optimization in &satlut.
Diffstat (limited to 'src/aig/gia/giaSweep.c')
| -rw-r--r-- | src/aig/gia/giaSweep.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/giaSweep.c b/src/aig/gia/giaSweep.c index 06e49f1f..4c2ced07 100644 --- a/src/aig/gia/giaSweep.c +++ b/src/aig/gia/giaSweep.c @@ -421,6 +421,7 @@ void Gia_ManCheckIntegrityWithBoxes( Gia_Man_t * p ) int i, nCountReg = 0, nCountCarry = 0; if ( p->pManTime == NULL ) return; + ABC_FREE( p->pRefs ); Gia_ManCreateRefs( p ); for ( i = Gia_ManPoNum(p) - Gia_ManRegBoxNum(p); i < Gia_ManPoNum(p); i++ ) { |