diff options
author | Paolo G. Giarrusso <p.giarrusso@gmail.com> | 2016-10-06 16:48:11 +0200 |
---|---|---|
committer | Paolo G. Giarrusso <p.giarrusso@gmail.com> | 2016-10-07 16:03:33 +0200 |
commit | efd60bbd2f9c02d34e296f2932665b8ebe733f61 (patch) | |
tree | 02d04e3a4f949b2e445e7da529310a1a9848af09 /interfaces/src/main/java/dotty | |
parent | b8203c8968d9934b91e468790c84a5d9bf76d806 (diff) | |
download | dotty-efd60bbd2f9c02d34e296f2932665b8ebe733f61.tar.gz dotty-efd60bbd2f9c02d34e296f2932665b8ebe733f61.tar.bz2 dotty-efd60bbd2f9c02d34e296f2932665b8ebe733f61.zip |
Fix compilation warnings
Diffstat (limited to 'interfaces/src/main/java/dotty')
-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 |