Adding new Python API 'co_supp'.

43ad54b9 · Alan Mishchenko · 95af9797 · 43ad54b9
Commit 43ad54b9 authored Jul 07, 2015 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 0 deletions

src/base/abc/abcDfs.c
+1 -0

No files found.
--- 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;
 }