diff options
Diffstat (limited to 'src/base/abci')
-rw-r--r-- | src/base/abci/abcMffc.c | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/src/base/abci/abcMffc.c b/src/base/abci/abcMffc.c index b88452e8..f26cd233 100644 --- a/src/base/abci/abcMffc.c +++ b/src/base/abci/abcMffc.c @@ -137,26 +137,6 @@ void Abc_MffcCollectLeaves( Vec_Ptr_t * vNodes, Vec_Ptr_t * vLeaves ) /**Function************************************************************* - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -void Vec_IntPrint( Vec_Int_t * vVec ) -{ - int i, Entry; - Vec_IntForEachEntry( vVec, Entry, i ) - printf( "%d ", Entry ); - printf( "\n" ); -} - - -/**Function************************************************************* - Synopsis [Collects internal nodes that are roots of MFFCs.] Description [] |