# HG changeset patch
# User Christian Haeubl <haeubl@ssw.jku.at>
# Date 1373361532 -7200
# Node ID 204d8d4f91a4e8a8038b95c3d87b1a69ea6a6e90
# Parent  678cdd287d60a138fb2c515f72585b43a68c3b72
Minor Java fix.

diff -r 678cdd287d60 -r 204d8d4f91a4 graal/com.oracle.graal.api.code/src/com/oracle/graal/api/code/Assumptions.java
--- a/graal/com.oracle.graal.api.code/src/com/oracle/graal/api/code/Assumptions.java	Mon Jul 08 17:32:05 2013 +0200
+++ b/graal/com.oracle.graal.api.code/src/com/oracle/graal/api/code/Assumptions.java	Tue Jul 09 11:18:52 2013 +0200
@@ -281,10 +281,12 @@
 
             int index;
 
+            @Override
             public void remove() {
                 throw new UnsupportedOperationException();
             }
 
+            @Override
             public Assumption next() {
                 if (index >= count) {
                     throw new NoSuchElementException();
@@ -292,6 +294,7 @@
                 return list[index++];
             }
 
+            @Override
             public boolean hasNext() {
                 return index < count;
             }