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/misc/vec/vecInt.h | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

(limited to 'src/misc/vec/vecInt.h')

diff --git a/src/misc/vec/vecInt.h b/src/misc/vec/vecInt.h
index 0d18f973..5a25d2c9 100644
--- a/src/misc/vec/vecInt.h
+++ b/src/misc/vec/vecInt.h
@@ -1237,6 +1237,26 @@ static inline void Vec_IntSelectSort( int * pArray, int nSize )
     }
 }
 
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+static inline void Vec_IntPrint( Vec_Int_t * vVec )
+{
+    int i, Entry;
+    printf( "Vector has %d entries: {", Vec_IntSize(vVec) );
+    Vec_IntForEachEntry( vVec, Entry, i )
+        printf( " %d", Entry );
+    printf( " }\n" );
+}
+
 
 ABC_NAMESPACE_HEADER_END
 
-- 
cgit v1.2.3