| Index: compiler/java/com/google/dart/compiler/PrettyErrorFormatter.java
|
| diff --git a/compiler/java/com/google/dart/compiler/PrettyErrorFormatter.java b/compiler/java/com/google/dart/compiler/PrettyErrorFormatter.java
|
| index f6aa86641a7274e0827eb99e374c62f837538544..dca14d8347746d144d8f1f308c5d53eb8967a267 100644
|
| --- a/compiler/java/com/google/dart/compiler/PrettyErrorFormatter.java
|
| +++ b/compiler/java/com/google/dart/compiler/PrettyErrorFormatter.java
|
| @@ -32,8 +32,8 @@ public class PrettyErrorFormatter extends DefaultErrorFormatter {
|
| public void format(DartCompilationError event) {
|
| Source sourceFile = event.getSource();
|
|
|
| - // if no source file is available, default to the basic error formatter
|
| - if (!(sourceFile instanceof DartSource)) {
|
| + // if this is an unknown source type, default to the basic error formatter
|
| + if (!(sourceFile instanceof DartSource) && !(sourceFile instanceof LibrarySource)) {
|
| super.format(event);
|
| return;
|
| }
|
|
|