Update(&ps): Revert two line since `cls` shows the same data

This commit is contained in:
wjrforcyber 2025-01-09 23:04:00 +08:00
parent 8c7c9d0ccf
commit c1ac7d8153
No known key found for this signature in database
1 changed files with 0 additions and 2 deletions

View File

@ -557,8 +557,6 @@ void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars )
Abc_Print( 1, " mem =%5.2f MB", Gia_ManMemory(p)/(1<<20) );
if ( Gia_ManHasChoices(p) )
Abc_Print( 1, " ch =%5d", Gia_ManChoiceNum(p) );
if ( Gia_ManHasChoicesOri(p))
Abc_Print( 1, " chOri =%5d", Gia_ManEquivCountClasses(p) );
if ( p->pManTime )
Abc_Print( 1, " box = %d", Gia_ManNonRegBoxNum(p) );
if ( p->pManTime )