From e6091bfd0aa0890c218252e9186cd8bfb10192e4 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sat, 16 Aug 2008 03:30:18 +0000
Subject: [PATCH] bug in the Vector class

---
 Robust/src/Benchmarks/Prefetch/Em3d/dsm/EVector.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/Benchmarks/Prefetch/Em3d/dsm/EVector.java b/Robust/src/Benchmarks/Prefetch/Em3d/dsm/EVector.java
index 5e0496d5..cacd2aad 100644
--- a/Robust/src/Benchmarks/Prefetch/Em3d/dsm/EVector.java
+++ b/Robust/src/Benchmarks/Prefetch/Em3d/dsm/EVector.java
@@ -50,7 +50,7 @@ public class EVector {
 		newsize=array.length+capacityIncrement;
 	    if (newsize<minCapacity)
 		newsize=minCapacity;
-	    Object [] newarray=global new Object[minCapacity];
+	    Object [] newarray=global new Object[newsize];
 	    for(int i=0;i<size;i++)
 		newarray[i]=array[i];
 	    array=newarray;
-- 
2.34.1