Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/generator/FileGenerator.java |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/generator/FileGenerator.java (revision 1212) |
+++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/generator/FileGenerator.java (working copy) |
@@ -110,8 +110,6 @@ |
// this is the check to see if the fileLocation is pointing to the location of the selected library, as mentioned above |
if (directoryOfLibrary != null && directoryOfLibrary.equals(fileLocation)) { |
// do nothing, current library is correct. |
- // Sanity Check |
- Assert.isTrue(library.getDefiningCompilationUnit().definesLibrary()); |
} else { |
library = null; |
} |