bug fix

diff --git a/Robust/src/ClassLibrary/Vector.java b/Robust/src/ClassLibrary/Vector.java
index c145d144aeb0e22e32ad388c06060db5dd41f6a2..40b174abf6ac1bc0f78bcbc0309c83fc7446c41a 100644 (file)
--- a/Robust/src/ClassLibrary/Vector.java
+++ b/Robust/src/ClassLibrary/Vector.java
@@ -50,7 +50,7 @@ public class Vector {
                newsize=array.length+capacityIncrement;
            if (newsize<minCapacity)
                newsize=minCapacity;
-           Object [] newarray=new Object[minCapacity];
+           Object [] newarray=new Object[newsize];
            for(int i=0;i<size;i++)
                newarray[i]=array[i];
            array=newarray;