summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcMffc.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-01-29 21:22:26 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2012-01-29 21:22:26 -0800
commite511b872370f8f9928b08381ff53f2b8a3669ba7 (patch)
tree4026a23ebc0ce285c3f2dbb796550fd37c11e31d /src/base/abci/abcMffc.c
parent5e91f13247eddd977fdf6339fde5e7cef997aaf5 (diff)
downloadabc-e511b872370f8f9928b08381ff53f2b8a3669ba7.tar.gz
abc-e511b872370f8f9928b08381ff53f2b8a3669ba7.tar.bz2
abc-e511b872370f8f9928b08381ff53f2b8a3669ba7.zip
Moving Vec_IntPrint to where it belongs.
Diffstat (limited to 'src/base/abci/abcMffc.c')
-rw-r--r--src/base/abci/abcMffc.c20
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 []