From: yeom <yeom>
Date: Thu, 31 Mar 2011 02:52:15 +0000 (+0000)
Subject: change
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=33a99c2605e7253e7822733ac1d430fc6d27eff0;p=IRC.git

change
---

diff --git a/Robust/src/Benchmarks/oooJava/labyrinth/Vector_t.java b/Robust/src/Benchmarks/oooJava/labyrinth/Vector_t.java
index 1fd44baf..6b5d697b 100644
--- a/Robust/src/Benchmarks/oooJava/labyrinth/Vector_t.java
+++ b/Robust/src/Benchmarks/oooJava/labyrinth/Vector_t.java
@@ -14,7 +14,7 @@ public class Vector_t {
    * =============================================================================
    */
   public Vector_t vector_alloc (int initCapacity) {
-    int capacity = Math.imax(initCapacity, 1);
+    int capacity = Math.max(initCapacity, 1);
     Vector_t vectorPtr = new Vector_t();
     vectorPtr.capacity = capacity;
     vectorPtr.elements = new Object[capacity];