diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-06-08 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-06-08 08:01:00 -0700 |
| commit | d47752011d94805850f8713258634d1bde5e639f (patch) | |
| tree | 81236dfb564a1d5c3f4a8e2f6cd56f5b5f88313e /src/base/abc/abcNtk.c | |
| parent | feb8fb692e09a2fc7c1da4f2fcf605d398e940f2 (diff) | |
| download | abc-d47752011d94805850f8713258634d1bde5e639f.tar.gz abc-d47752011d94805850f8713258634d1bde5e639f.tar.bz2 abc-d47752011d94805850f8713258634d1bde5e639f.zip | |
Version abc70608
Diffstat (limited to 'src/base/abc/abcNtk.c')
| -rw-r--r-- | src/base/abc/abcNtk.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abc/abcNtk.c b/src/base/abc/abcNtk.c index ce187f60..7d8d0f0f 100644 --- a/src/base/abc/abcNtk.c +++ b/src/base/abc/abcNtk.c @@ -987,7 +987,7 @@ void Abc_NtkFixNonDrivenNets( Abc_Ntk_t * pNtk ) Abc_Obj_t * pNet, * pNode; int i; - if ( Abc_NtkNodeNum(pNtk) == 0 ) + if ( Abc_NtkNodeNum(pNtk) == 0 && Abc_NtkBoxNum(pNtk) == 0 ) return; // check for non-driven nets |