From a1b793dc1ea1b1788a1c01f612fa72c56fe0a9db Mon Sep 17 00:00:00 2001
From: Mark Harrah <dmharrah@gmail.com>
Date: Mon, 27 May 2013 19:12:39 -0400
Subject: [PATCH] Merge ExtendedReporter into Reporter.

---
 interface/src/main/java/xsbti/ExtendedReporter.java | 10 ----------
 interface/src/main/java/xsbti/Reporter.java         |  4 +++-
 2 files changed, 3 insertions(+), 11 deletions(-)
 delete mode 100755 interface/src/main/java/xsbti/ExtendedReporter.java

diff --git a/interface/src/main/java/xsbti/ExtendedReporter.java b/interface/src/main/java/xsbti/ExtendedReporter.java
deleted file mode 100755
index 7bc4acc47..000000000
--- a/interface/src/main/java/xsbti/ExtendedReporter.java
+++ /dev/null
@@ -1,10 +0,0 @@
-/* sbt -- Simple Build Tool
- * Copyright 2012 Eugene Vigdorchik
- */
-package xsbti;
-
-/** An addition to standard reporter. Used by the IDE. */
-public interface ExtendedReporter extends Reporter
-{
-	public void comment(Position pos, String msg);
-}
diff --git a/interface/src/main/java/xsbti/Reporter.java b/interface/src/main/java/xsbti/Reporter.java
index 8556cbe8a..439e2738f 100644
--- a/interface/src/main/java/xsbti/Reporter.java
+++ b/interface/src/main/java/xsbti/Reporter.java
@@ -17,4 +17,6 @@ public interface Reporter
 	public Problem[] problems();
 	/** Logs a message.*/
 	public void log(Position pos, String msg, Severity sev);
-}
\ No newline at end of file
+	/** Reports a comment. */
+	public void comment(Position pos, String msg);
+}