From: bdemsky <bdemsky>
Date: Sat, 16 Aug 2008 03:30:52 +0000 (+0000)
Subject: bug fix
X-Git-Tag: buildscript^4~22
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=47404342f41b5e1435a606878fc1d6f4fcc1872b;p=IRC.git

bug fix
---

diff --git a/Robust/src/ClassLibrary/Vector.java b/Robust/src/ClassLibrary/Vector.java
index c145d144..40b174ab 100644
--- 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;