| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/model/DartSdk.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/model/DartSdk.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/model/DartSdk.java
|
| index 90d97cfc9aeca5c0d1c5a3332a18d7c76d23857f..31a8d0f0fb128e47e47a8a11918f4534996df96d 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/model/DartSdk.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/model/DartSdk.java
|
| @@ -30,7 +30,7 @@ import java.io.IOException;
|
| * Chromium/ <-- Dartium
|
| * lib/
|
| * core/
|
| - * core_runtime.dart
|
| + * core.dart
|
| * ... other core library files ...
|
| * ... other libraries ...
|
| * util/
|
|
|