From efd60bbd2f9c02d34e296f2932665b8ebe733f61 Mon Sep 17 00:00:00 2001 From: "Paolo G. Giarrusso" Date: Thu, 6 Oct 2016 16:48:11 +0200 Subject: Fix compilation warnings --- interfaces/src/main/java/dotty/tools/dotc/interfaces/SourceFile.java | 2 -- 1 file changed, 2 deletions(-) (limited to 'interfaces') 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 -- cgit v1.2.3