From 2e8fdbdf05065715cdb0bd3c526b2b3f47ebaad8 Mon Sep 17 00:00:00 2001
From: Eugene Vigdorchik <eugene.vigdorchik@gmail.com>
Date: Tue, 24 Jul 2012 10:43:56 +0400
Subject: [PATCH] Extend reporter to be used by the IDE.

---
 interface/src/main/java/xsbti/ExtendedReporter.java | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create 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
new file mode 100755
index 000000000..7bc4acc47
--- /dev/null
+++ b/interface/src/main/java/xsbti/ExtendedReporter.java
@@ -0,0 +1,10 @@
+/* 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);
+}