| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/local/ImplicitSourceSet.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/local/ImplicitSourceSet.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/local/ImplicitSourceSet.java
|
| index 199ad207530727c9d734e15b793e41bb3131f8a7..4cedf08a7274d55f7bccff482091a02304b69aef 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/local/ImplicitSourceSet.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/local/ImplicitSourceSet.java
|
| @@ -15,6 +15,7 @@
|
| package com.google.dart.server.internal.local;
|
|
|
| import com.google.dart.engine.source.Source;
|
| +import com.google.dart.engine.utilities.translation.DartName;
|
| import com.google.dart.server.SourceSet;
|
| import com.google.dart.server.SourceSetKind;
|
|
|
| @@ -23,6 +24,7 @@ import com.google.dart.server.SourceSetKind;
|
| *
|
| * @coverage dart.server.local
|
| */
|
| +@DartName("_ImplicitSourceSet")
|
| public class ImplicitSourceSet implements SourceSet {
|
| private final SourceSetKind kind;
|
|
|
|
|