diff --git a/project/plugin.sbt b/project/plugin.sbt index cee91df3f..08eadd40e 100644 --- a/project/plugin.sbt +++ b/project/plugin.sbt @@ -2,7 +2,7 @@ addSbtPlugin("com.typesafe" % "sbt-mima-plugin" % "0.8.1") addSbtPlugin("com.jsuereth" % "sbt-pgp" % "2.0.1") -addSbtPlugin("ch.epfl.lamp" % "sbt-dotty" % "0.4.4") +addSbtPlugin("ch.epfl.lamp" % "sbt-dotty" % "0.4.5") def env(name: String): Option[String] = Option(System.getenv(name))