diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-16 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-16 08:01:00 -0700 |
| commit | b51685d6936fa397e143e1dc3b1127327325c100 (patch) | |
| tree | e5d47fee0a5d81c30a31e07c3cf9f26cdfb4f787 /src/aig/ntl | |
| parent | 45827110d61cb2a7013e1251b32428bca70ceeeb (diff) | |
| download | abc-b51685d6936fa397e143e1dc3b1127327325c100.tar.gz abc-b51685d6936fa397e143e1dc3b1127327325c100.tar.bz2 abc-b51685d6936fa397e143e1dc3b1127327325c100.zip | |
Version abc80416
Diffstat (limited to 'src/aig/ntl')
| -rw-r--r-- | src/aig/ntl/ntlExtract.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/ntl/ntlExtract.c b/src/aig/ntl/ntlExtract.c index d474b4dd..18ca1a53 100644 --- a/src/aig/ntl/ntlExtract.c +++ b/src/aig/ntl/ntlExtract.c @@ -288,8 +288,8 @@ Aig_Man_t * Ntl_ManExtract( Ntl_Man_t * p ) } // report the number of dangling objects nUselessObjects = Ntl_ModelNodeNum(pRoot) + Ntl_ModelLut1Num(pRoot) + Ntl_ModelBoxNum(pRoot) - Vec_PtrSize(p->vNodes); - if ( nUselessObjects ) - printf( "The number of nodes that do not feed into POs = %d.\n", nUselessObjects ); +// if ( nUselessObjects ) +// printf( "The number of nodes that do not feed into POs = %d.\n", nUselessObjects ); // cleanup the AIG Aig_ManCleanup( p->pAig ); // extract the timing manager |