diff options
| author | Jack Koenig | 2021-09-13 20:42:27 -0700 |
|---|---|---|
| committer | GitHub | 2021-09-13 20:42:27 -0700 |
| commit | 8421e96f04831fc61ddd5efa30f0ebc84f27c596 (patch) | |
| tree | e28acb095c9e4a9fcff0f9c1856773d462aa2833 /project | |
| parent | beb5bc9850fd69adff36f38fb00a1f68bb1918fe (diff) | |
Bump Scala to 2.12.14 and 2.13.6 (#2356)
This required also bumping sbt-scalafix to bring in a newer version of
semanticdb. The new version of semanticdb had an issue with a regex in
SMTLib, fixed by fixing the way '$' is escaped in the regex.
Diffstat (limited to 'project')
| -rw-r--r-- | project/plugins.sbt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/project/plugins.sbt b/project/plugins.sbt index e81ce139..dc9d3471 100644 --- a/project/plugins.sbt +++ b/project/plugins.sbt @@ -18,7 +18,7 @@ addSbtPlugin("com.simplytyped" % "sbt-antlr4" % "0.8.2") addSbtPlugin("com.github.sbt" % "sbt-protobuf" % "0.7.0") -addSbtPlugin("ch.epfl.scala" % "sbt-scalafix" % "0.9.29") +addSbtPlugin("ch.epfl.scala" % "sbt-scalafix" % "0.9.30") addSbtPlugin("com.thoughtworks.sbt-api-mappings" % "sbt-api-mappings" % "3.0.0") |