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