diff options
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/abc/abcDfs.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/abc/abcDfs.c b/src/base/abc/abcDfs.c index 1d15f236..8017ce95 100644 --- a/src/base/abc/abcDfs.c +++ b/src/base/abc/abcDfs.c @@ -951,6 +951,7 @@ Vec_Int_t * Abc_NtkNodeSupportInt( Abc_Ntk_t * pNtk, int iCo ) pObj = Abc_NtkCo( pNtk, iCo ); vNodes = Vec_IntAlloc( 100 ); Abc_NtkNodeSupportInt_rec( Abc_ObjFanin0(pObj), vNodes ); + Vec_IntSort( vNodes, 0 ); return vNodes; } |