1 files changed, 24 insertions, 2 deletions
diff --git a/src/misc/vec/vecPtr.h b/src/misc/vec/vecPtr.h
index ed78c8c2..1d3e0633 100644
--- a/src/misc/vec/vecPtr.h
+++ b/src/misc/vec/vecPtr.h
@@ -39,8 +39,8 @@
 typedef struct Vec_Ptr_t_       Vec_Ptr_t;
 struct Vec_Ptr_t_ 
 {
-    int              nSize;
     int              nCap;
+    int              nSize;
     void **          pArray;
 };
 
@@ -323,9 +323,31 @@ static inline void Vec_PtrFill( Vec_Ptr_t * p, int nSize, void * Entry )
 {
     int i;
     Vec_PtrGrow( p, nSize );
+    for ( i = 0; i < nSize; i++ )
+        p->pArray[i] = Entry;
     p->nSize = nSize;
-    for ( i = 0; i < p->nSize; i++ )
+}
+
+/**Function*************************************************************
+
+  Synopsis    [Fills the vector with given number of entries.]
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+static inline void Vec_PtrFillExtra( Vec_Ptr_t * p, int nSize, void * Entry )
+{
+    int i;
+    if ( p->nSize >= nSize )
+        return;
+    Vec_PtrGrow( p, nSize );
+    for ( i = p->nSize; i < nSize; i++ )
         p->pArray[i] = Entry;
+    p->nSize = nSize;
 }
 
 /**Function*************************************************************