diff options
Diffstat (limited to 'src/aig/gia/giaAbs.c')
-rw-r--r-- | src/aig/gia/giaAbs.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/aig/gia/giaAbs.c b/src/aig/gia/giaAbs.c index 533ba6a1..fca680a5 100644 --- a/src/aig/gia/giaAbs.c +++ b/src/aig/gia/giaAbs.c @@ -322,9 +322,8 @@ int Gia_ManCbaPerform( Gia_Man_t * pGia, void * p ) // check if flop classes are given if ( pGia->vFlopClasses == NULL ) { - printf( "Gia_ManCbaPerform(): Empty abstraction is started.\n" ); + Abc_Print( 0, "Initial flop map is not given. Trivial abstraction is assumed.\n" ); pGia->vFlopClasses = Vec_IntStart( Gia_ManRegNum(pGia) ); - Vec_IntWriteEntry( pGia->vFlopClasses, 0, 1 ); } // derive abstraction pAbs = Gia_ManDupAbstraction( pGia, pGia->vFlopClasses ); |