diff options
Diffstat (limited to 'interfaces/src/main/java/dotty/tools/dotc/interfaces/SourceFile.java')
| -rw-r--r-- | interfaces/src/main/java/dotty/tools/dotc/interfaces/SourceFile.java | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/interfaces/src/main/java/dotty/tools/dotc/interfaces/SourceFile.java b/interfaces/src/main/java/dotty/tools/dotc/interfaces/SourceFile.java index 0e16d3ea4..6c72a5125 100644 --- a/interfaces/src/main/java/dotty/tools/dotc/interfaces/SourceFile.java +++ b/interfaces/src/main/java/dotty/tools/dotc/interfaces/SourceFile.java @@ -1,7 +1,5 @@ package dotty.tools.dotc.interfaces; -import java.io.File; - /** A source file. * * User code should not implement this interface, but it may have to |