# HG changeset patch
# User twisti
# Date 1381901915 25200
# Node ID c991f8291f1b3404e50b80f3aef3e89a90f01794
# Parent  39308acea2f7182f8b77c98ecaecf42990ef6aa4
add missing @Override to Iterator.remove overrides

diff -r 39308acea2f7 -r c991f8291f1b graal/com.oracle.graal.graph/src/com/oracle/graal/graph/Node.java
--- a/graal/com.oracle.graal.graph/src/com/oracle/graal/graph/Node.java	Tue Oct 15 18:04:13 2013 -0700
+++ b/graal/com.oracle.graal.graph/src/com/oracle/graal/graph/Node.java	Tue Oct 15 22:38:35 2013 -0700
@@ -220,6 +220,7 @@
             return result;
         }
 
+        @Override
         public void remove() {
             throw new UnsupportedOperationException();
         }
diff -r 39308acea2f7 -r c991f8291f1b graal/com.oracle.graal.loop/src/com/oracle/graal/loop/LoopFragment.java
--- a/graal/com.oracle.graal.loop/src/com/oracle/graal/loop/LoopFragment.java	Tue Oct 15 18:04:13 2013 -0700
+++ b/graal/com.oracle.graal.loop/src/com/oracle/graal/loop/LoopFragment.java	Tue Oct 15 22:38:35 2013 -0700
@@ -231,6 +231,7 @@
                 final Iterator<Block> it = blocks.iterator();
                 return new Iterator<AbstractBeginNode>() {
 
+                    @Override
                     public void remove() {
                         throw new UnsupportedOperationException();
                     }