Index: dart/editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart |
=================================================================== |
--- dart/editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart (revision 18634) |
+++ dart/editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart (working copy) |
@@ -303,7 +303,7 @@ |
return elements.removeLast(); |
} |
- List<E> get reversed => elements.reversed; |
+ Iterable<E> get reversed => elements.reversed; |
List<E> getRange(int start, int length) { |
return elements.getRange(start, length); |