1 files changed, 0 insertions, 18 deletions
diff --git a/interfaces/src/main/java/dotty/tools/dotc/interfaces/ReporterResult.java b/interfaces/src/main/java/dotty/tools/dotc/interfaces/ReporterResult.java
deleted file mode 100644
index f75519db2..000000000
--- a/interfaces/src/main/java/dotty/tools/dotc/interfaces/ReporterResult.java
+++ /dev/null
@@ -1,18 +0,0 @@
-package dotty.tools.dotc.interfaces;
-
-/** Summary of the diagnostics emitted by a Reporter.
- *
- *  User code should not implement this interface, but it may have to
- *  manipulate objects of this type.
- */
-public interface ReporterResult {
-  /** @return Have we emitted any error? */
-  boolean hasErrors();
-  /** @return Number of errors that have been emitted */
-  int errorCount();
-
-  /** @return Have we emitted any warning ? */
-  boolean hasWarnings();
-  /** @return Number of warnings that have been emitted */
-  int warningCount();
-}