diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-04 14:52:16 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-04 14:52:16 -0700 |
| commit | c921058019c22ca917fb63f1139a46cb9f766ae2 (patch) | |
| tree | 44fb47bd8164552bc7d6f363cde189171379e6b0 /src/aig/gia/giaMan.c | |
| parent | 7fd65344929ef70f36be9f9b73529c084f8b7a50 (diff) | |
| download | abc-c921058019c22ca917fb63f1139a46cb9f766ae2.tar.gz abc-c921058019c22ca917fb63f1139a46cb9f766ae2.tar.bz2 abc-c921058019c22ca917fb63f1139a46cb9f766ae2.zip | |
Added static fanout to GIA package.
Diffstat (limited to 'src/aig/gia/giaMan.c')
| -rw-r--r-- | src/aig/gia/giaMan.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index 979bbe38..c116f5e7 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -70,6 +70,7 @@ Gia_Man_t * Gia_ManStart( int nObjsMax ) ***********************************************************************/ void Gia_ManStop( Gia_Man_t * p ) { + Gia_ManStaticFanoutStop( p ); Tim_ManStopP( (Tim_Man_t **)&p->pManTime ); assert( p->pManTime == NULL ); Vec_PtrFreeFree( p->vNamesIn ); |