diff options
-rwxr-xr-x | sources/scala/tools/nsc/Main.scala | 2 | ||||
-rw-r--r-- | sources/scala/tools/util/Reporter.java | 3 |
2 files changed, 1 insertions, 4 deletions
diff --git a/sources/scala/tools/nsc/Main.scala b/sources/scala/tools/nsc/Main.scala index 8265c58843..36b3b12fe1 100755 --- a/sources/scala/tools/nsc/Main.scala +++ b/sources/scala/tools/nsc/Main.scala @@ -13,7 +13,7 @@ object Main { System.getProperty("scala.version", "unknown version"); val versionMsg = PRODUCT + " " + VERSION + " -- (c) 2002-04 LAMP/EPFL"; - private var reporter: Reporter = _; + private var reporter: ConsoleReporter = _; def error(msg: String): unit = reporter.error(new Position(PRODUCT), diff --git a/sources/scala/tools/util/Reporter.java b/sources/scala/tools/util/Reporter.java index b094f6b7de..b2411e0649 100644 --- a/sources/scala/tools/util/Reporter.java +++ b/sources/scala/tools/util/Reporter.java @@ -59,7 +59,4 @@ public interface Reporter { public void error(Position position, String message); //######################################################################## - - /** Prints the number of errors and warnings if their are non-zero. */ - public void printSummary(); } |