diff options
| -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"); } } |