diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-02-05 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-02-05 08:01:00 -0800 |
| commit | 7174787abafe80437892b55a53f994da85a37342 (patch) | |
| tree | 0df4c6f35d99111d757aa9b8091853b8f88ee762 /src/base/abci/abcIf.c | |
| parent | 3b790eb17e54cd922440a1a3b18a5cfdd5cbcadb (diff) | |
| download | abc-7174787abafe80437892b55a53f994da85a37342.tar.gz abc-7174787abafe80437892b55a53f994da85a37342.tar.bz2 abc-7174787abafe80437892b55a53f994da85a37342.zip | |
Version abc80205
Diffstat (limited to 'src/base/abci/abcIf.c')
| -rw-r--r-- | src/base/abci/abcIf.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcIf.c b/src/base/abci/abcIf.c index bb56c22c..5d24398b 100644 --- a/src/base/abci/abcIf.c +++ b/src/base/abci/abcIf.c @@ -21,6 +21,7 @@ #include "abc.h" #include "if.h" #include "kit.h" +#include "aig.h" //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// @@ -87,7 +88,6 @@ Abc_Ntk_t * Abc_NtkIf( Abc_Ntk_t * pNtk, If_Par_t * pPars ) // duplicate EXDC if ( pNtk->pExdc ) pNtkNew->pExdc = Abc_NtkDup( pNtk->pExdc ); - // make sure that everything is okay if ( !Abc_NtkCheck( pNtkNew ) ) { |