From e354dc40caff1730e91d89c5e3c0cfd5c98d7729 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 11 May 2019 21:09:08 +0800 Subject: Fixing recent change to 'print_stats'. --- src/aig/gia/giaMan.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/aig') diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index 38fb9817..4f0c4d0c 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -450,7 +450,7 @@ void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars ) Gia_ManPrintStatsMiter( p, 0 ); return; } - if ( pPars->fNoColor ) + if ( pPars && pPars->fNoColor ) { if ( p->pName ) Abc_Print( 1, "%-8s : ", p->pName ); @@ -476,7 +476,7 @@ void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars ) Abc_Print( 1, " ff =%7d", Gia_ManRegNum(p) ); if ( Gia_ManRegBoxNum(p) ) Abc_Print( 1, " boxff =%d(%d)", Gia_ManRegBoxNum(p), Gia_ManClockDomainNum(p) ); - if ( pPars->fNoColor ) + if ( pPars && pPars->fNoColor ) { Abc_Print( 1, " %s =%8d", p->pMuxes? "nod" : "and", Gia_ManAndNum(p) ); Abc_Print( 1, " lev =%5d", Gia_ManLevelNum(p) ); -- cgit v1.2.3