summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2015-07-07 08:28:59 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2015-07-07 08:28:59 -0700
commit43ad54b9388f0b858f4401e77cfd5d7200819b93 (patch)
treefbda2c29ee7281f79fa2ff7a511f57161734ad76 /src
parent95af979753aa48744acfcba0a3707fed31391027 (diff)
downloadabc-43ad54b9388f0b858f4401e77cfd5d7200819b93.tar.gz
abc-43ad54b9388f0b858f4401e77cfd5d7200819b93.tar.bz2
abc-43ad54b9388f0b858f4401e77cfd5d7200819b93.zip
Adding new Python API 'co_supp'.
Diffstat (limited to 'src')
-rw-r--r--src/base/abc/abcDfs.c1
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;
}