diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-22 00:50:07 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-22 00:50:07 -0700 |
| commit | 13dd4eeb590099a7653eb648d34e1a26010b6beb (patch) | |
| tree | dced6d88df1d0917ad22327c69c1bbb642ce67b1 /src/aig/gia/giaMan.c | |
| parent | fc24e9d342db9f4fbc243e23189785bc6ce8d8ea (diff) | |
| download | abc-13dd4eeb590099a7653eb648d34e1a26010b6beb.tar.gz abc-13dd4eeb590099a7653eb648d34e1a26010b6beb.tar.bz2 abc-13dd4eeb590099a7653eb648d34e1a26010b6beb.zip | |
Experiments with balancing.
Diffstat (limited to 'src/aig/gia/giaMan.c')
| -rw-r--r-- | src/aig/gia/giaMan.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index a0880837..51a78472 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -385,7 +385,7 @@ void Gia_ManPrintChoiceStats( Gia_Man_t * p ) void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars ) { extern float Gia_ManLevelAve( Gia_Man_t * p ); - if ( pPars->fMiter ) + if ( pPars && pPars->fMiter ) { Gia_ManPrintStatsMiter( p, 0 ); return; |