From: bdemsky <bdemsky>
Date: Fri, 17 Apr 2009 00:47:01 +0000 (+0000)
Subject: changes
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=e9597f04e8d5aee310aa8e71aecc46aa5c7d6dd7;p=IRC.git

changes
---

diff --git a/Robust/src/ClassLibrary/Vector.java b/Robust/src/ClassLibrary/Vector.java
index 162ff824..1795dace 100644
--- a/Robust/src/ClassLibrary/Vector.java
+++ b/Robust/src/ClassLibrary/Vector.java
@@ -47,7 +47,7 @@ public class Vector {
   }
 
   public Object elementAt(int index) {
-    if (index<0 || index >=size) {
+    if (index<0 | index >=size) {
       System.printString("Illegal Vector.elementAt\n");
       System.exit(-1);
       return null;