diff graal/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/util/Filterator.java @ 13537:93068303f856

Truffle-DSL: added missing Override to remove.
author Christian Humer <christian.humer@gmail.com>
date Tue, 07 Jan 2014 22:27:04 +0100
parents 25ecb47a6d0e
children
line wrap: on
line diff
--- a/graal/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/util/Filterator.java	Tue Jan 07 22:26:53 2014 +0100
+++ b/graal/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/util/Filterator.java	Tue Jan 07 22:27:04 2014 +0100
@@ -78,6 +78,7 @@
         return null;
     }
 
+    @Override
     public void remove() {
         elements.remove();
     }