diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-27 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-27 08:01:00 -0700 |
| commit | 9604ecb1745da3bde720cd7be5ee8f89dc6bd5ff (patch) | |
| tree | a2d15a88daf45a5e4ce8d746c414daa744c5350a /src/base/abc | |
| parent | 5b79c7898356740c9678d5cf043d6bbc304dc7b4 (diff) | |
| download | abc-9604ecb1745da3bde720cd7be5ee8f89dc6bd5ff.tar.gz abc-9604ecb1745da3bde720cd7be5ee8f89dc6bd5ff.tar.bz2 abc-9604ecb1745da3bde720cd7be5ee8f89dc6bd5ff.zip | |
Version abc80527
Diffstat (limited to 'src/base/abc')
| -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 b66c3f32..4d543547 100644 --- a/src/base/abc/abcNtk.c +++ b/src/base/abc/abcNtk.c @@ -522,7 +522,7 @@ Abc_Ntk_t * Abc_NtkCreateCone( Abc_Ntk_t * pNtk, Abc_Obj_t * pNode, char * pNode int i, k; assert( Abc_NtkIsLogic(pNtk) || Abc_NtkIsStrash(pNtk) ); - assert( Abc_ObjIsNode(pNode) || (Abc_NtkIsStrash(pNtk) && Abc_AigNodeIsConst(pNode)) ); + assert( Abc_ObjIsNode(pNode) || (Abc_NtkIsStrash(pNtk) && (Abc_AigNodeIsConst(pNode) || Abc_ObjIsCi(pNode))) ); // start the network pNtkNew = Abc_NtkAlloc( pNtk->ntkType, pNtk->ntkFunc, 1 ); |