| Index: compiler/java/com/google/dart/compiler/resolver/LibraryElement.java
|
| diff --git a/compiler/java/com/google/dart/compiler/resolver/LibraryElement.java b/compiler/java/com/google/dart/compiler/resolver/LibraryElement.java
|
| index ec1a0d353c49894f1865526fbc476af1c6645646..529ad646a0311a9fe21afdc99350f91bd22cc272 100644
|
| --- a/compiler/java/com/google/dart/compiler/resolver/LibraryElement.java
|
| +++ b/compiler/java/com/google/dart/compiler/resolver/LibraryElement.java
|
| @@ -6,14 +6,14 @@ package com.google.dart.compiler.resolver;
|
|
|
| import com.google.dart.compiler.ast.LibraryUnit;
|
|
|
| -import java.util.List;
|
| +import java.util.Collection;
|
|
|
| public interface LibraryElement extends EnclosingElement {
|
| Scope getImportScope();
|
|
|
| Scope getScope();
|
|
|
| - List<Element> getExportedElements();
|
| + Collection<Element> getExportedElements();
|
|
|
| LibraryUnit getLibraryUnit();
|
|
|
|
|