| Index: pkg/kernel/bin/dartk.dart
|
| diff --git a/pkg/kernel/bin/dartk.dart b/pkg/kernel/bin/dartk.dart
|
| index 6c1094bd156466bbe3ae76e76be7dc763bbcef41..4726f15d61592b2e9222c662ce7d1c595457aec9 100755
|
| --- a/pkg/kernel/bin/dartk.dart
|
| +++ b/pkg/kernel/bin/dartk.dart
|
| @@ -326,6 +326,7 @@ Future<CompilerOutcome> batchMain(
|
| program = loader.loadProgram(fileUri, target: target);
|
| } else {
|
| var library = loader.loadLibrary(fileUri);
|
| + loader.loadSdkInterface(program, target);
|
| assert(library ==
|
| repository.getLibraryReference(applicationRoot.relativeUri(fileUri)));
|
| program = new Program(repository.libraries);
|
|
|