bug in the Vector class

diff --git a/Robust/src/Benchmarks/Prefetch/Em3d/dsm/EVector.java b/Robust/src/Benchmarks/Prefetch/Em3d/dsm/EVector.java
index 5e0496d5b2353066ffe51a556b6c354b2526dc57..cacd2aad7e2637cfdc0ac3dc6fe970f4c14cb502 100644 (file)
--- 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;