From 8421e96f04831fc61ddd5efa30f0ebc84f27c596 Mon Sep 17 00:00:00 2001
From: Jack Koenig
Date: Mon, 13 Sep 2021 20:42:27 -0700
Subject: 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.---
 project/plugins.sbt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'project/plugins.sbt')

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")
 
-- 
cgit v1.2.3