| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/sdk/DartSdk.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/sdk/DartSdk.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/sdk/DartSdk.java
|
| index 464c0c0baa5d80602d852f04fd60e2c53972080d..04a62e385b8f987950ebd25d940dabeb8474009b 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/sdk/DartSdk.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/sdk/DartSdk.java
|
| @@ -26,6 +26,11 @@ import java.net.URI;
|
| */
|
| public interface DartSdk {
|
| /**
|
| + * The short name of the dart SDK async library.
|
| + */
|
| + public static final String DART_ASYNC = "dart:async";
|
| +
|
| + /**
|
| * The short name of the dart SDK core library.
|
| */
|
| public static final String DART_CORE = "dart:core";
|
|
|