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; |
} |