/* 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);
}

Extend reporter to be used by the IDE.