diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-11-11 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-11-11 08:01:00 -0800 |
| commit | da5e0785dfb98335bd49a13bf9e86e736fb931be (patch) | |
| tree | 3e88084f64093c8394fddf2d96b522a4df183981 /src/base/abci/abcUnreach.c | |
| parent | faf1265bb82f934cc14b6106ccce89e37203efbd (diff) | |
| download | abc-da5e0785dfb98335bd49a13bf9e86e736fb931be.tar.gz abc-da5e0785dfb98335bd49a13bf9e86e736fb931be.tar.bz2 abc-da5e0785dfb98335bd49a13bf9e86e736fb931be.zip | |
Version abc61111
Diffstat (limited to 'src/base/abci/abcUnreach.c')
| -rw-r--r-- | src/base/abci/abcUnreach.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcUnreach.c b/src/base/abci/abcUnreach.c index cced1c47..e4873986 100644 --- a/src/base/abci/abcUnreach.c +++ b/src/base/abci/abcUnreach.c @@ -95,7 +95,7 @@ int Abc_NtkExtractSequentialDcs( Abc_Ntk_t * pNtk, bool fVerbose ) pNtk->pManGlob = NULL; // make sure that everything is okay - if ( !Abc_NtkCheck( pNtk->pExdc ) ) + if ( pNtk->pExdc && !Abc_NtkCheck( pNtk->pExdc ) ) { printf( "Abc_NtkExtractSequentialDcs: The network check has failed.\n" ); Abc_NtkDelete( pNtk->pExdc ); |