diff options
author | paltherr <paltherr@epfl.ch> | 2004-09-03 14:32:47 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2004-09-03 14:32:47 +0000 |
commit | 8adac706a6cdb81d2f79e7c748aa357bc56f3ce3 (patch) | |
tree | 69131a8fd5a4451498f38d53fd6d394b6f3849c3 | |
parent | 93796dd69d84965d9c9a3b71be195f665838f872 (diff) | |
download | scala-8adac706a6cdb81d2f79e7c748aa357bc56f3ce3.tar.gz scala-8adac706a6cdb81d2f79e7c748aa357bc56f3ce3.tar.bz2 scala-8adac706a6cdb81d2f79e7c748aa357bc56f3ce3.zip |
- Fixed raised exception
-rw-r--r-- | sources/scala/tools/util/Reporter.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sources/scala/tools/util/Reporter.java b/sources/scala/tools/util/Reporter.java index 4fef766fe9..cc24ac2e6d 100644 --- a/sources/scala/tools/util/Reporter.java +++ b/sources/scala/tools/util/Reporter.java @@ -14,7 +14,7 @@ import java.io.IOException; import java.io.PrintWriter; import java.util.HashSet; -import scala.tools.util.Position; +import scala.tools.util.debug.Debug; public class Reporter { @@ -217,7 +217,7 @@ public class Reporter { if ("resume".startsWith(line)) return; } } catch (IOException e) { - throw new Error("input read error"); + throw Debug.abort("input read error"); } } |