| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/sdk/SdkLibrary.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/sdk/SdkLibrary.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/sdk/SdkLibrary.java
|
| index 5f74e5aaf86a2e14d8c030d87861dabdc806217a..8d2407f9fe713e1c5004bbf5083de0a6d7562bbd 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/sdk/SdkLibrary.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/sdk/SdkLibrary.java
|
| @@ -34,7 +34,7 @@ public interface SdkLibrary {
|
| public String getPath();
|
|
|
| /**
|
| - * Return the short name of the library. This is the name used after {@code dart:} in a URI.
|
| + * Return the short name of the library. This is the URI of the library, including {@code dart:}.
|
| *
|
| * @return the short name of the library
|
| */
|
|
|