Index: pkg/front_end/lib/memory_file_system.dart |
diff --git a/pkg/front_end/lib/memory_file_system.dart b/pkg/front_end/lib/memory_file_system.dart |
index 015134968670bcb8985020c19a478adee1e9d0f9..ea9a1dfcaa9b70b91f564fa7ef2034e8e9a3eb16 100644 |
--- a/pkg/front_end/lib/memory_file_system.dart |
+++ b/pkg/front_end/lib/memory_file_system.dart |
@@ -63,15 +63,11 @@ class MemoryFileSystemEntity implements FileSystemEntity { |
/// Create a directory for this file system entry. |
/// |
- /// If the entry already exists, either as a file, or as a directory, |
- /// this is an error. |
+ /// If the entry is an existing file, this is an error. |
void createDirectory() { |
if (_fileSystem._files[uri] != null) { |
throw new FileSystemException(uri, 'Entry $uri is a file.'); |
} |
- if (_fileSystem._directories.contains(uri)) { |
- throw new FileSystemException(uri, 'Directory $uri already exists.'); |
- } |
_fileSystem._directories.add(uri); |
} |