From e511b872370f8f9928b08381ff53f2b8a3669ba7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 29 Jan 2012 21:22:26 -0800
Subject: Moving Vec_IntPrint to where it belongs.

---
 src/base/abci/abcMffc.c | 20 --------------------
 1 file changed, 20 deletions(-)

(limited to 'src/base/abci')

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
@@ -135,26 +135,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.]
-- 
cgit v1.2.3