diff options
-rw-r--r-- | stage2/plugins/Dotty.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stage2/plugins/Dotty.scala b/stage2/plugins/Dotty.scala index 53cff6e..e0e8f85 100644 --- a/stage2/plugins/Dotty.scala +++ b/stage2/plugins/Dotty.scala @@ -102,7 +102,7 @@ class DottyLib( } } catch { case e: Exception => - System.err.println(red("Dotty crashed. Try running it by hand:")) + System.err.println(red("Dotty crashed. See https://github.com/lampepfl/dotty/issues. To reproduce run:")) System.out.println(s""" java -cp \\ ${dotty.classpath.strings.mkString(":\\\n")} \\ |