diff --git a/src/misc/vec/vecStr.h b/src/misc/vec/vecStr.h
index d183ae244..f5f3e9be6 100644
--- a/src/misc/vec/vecStr.h
+++ b/src/misc/vec/vecStr.h
@@ -578,6 +578,26 @@ static inline char Vec_StrPop( Vec_Str_t * p )
     return p->pArray[--p->nSize];
 }
 
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+static inline Vec_StrIntPrint( Vec_Str_t * p )
+{
+    int i;
+    printf( "Vector has %d entries: {", Vec_StrSize(p) );
+    for ( i = 0; i < Vec_StrSize(p); i++ )
+        printf( " %d", Vec_StrEntry(p, i) );
+    printf( " }\n" );
+}
+
 /**Function*************************************************************
 
   Synopsis    []