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.---
 build.sbt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'build.sbt')

diff --git a/build.sbt b/build.sbt
index 64d27641..50f67e5c 100644
--- a/build.sbt
+++ b/build.sbt
@@ -4,8 +4,8 @@ enablePlugins(SiteScaladocPlugin)
 
 lazy val commonSettings = Seq(
   organization := "edu.berkeley.cs",
-  scalaVersion := "2.12.13",
-  crossScalaVersions := Seq("2.13.4", "2.12.13")
+  scalaVersion := "2.12.14",
+  crossScalaVersions := Seq("2.13.6", "2.12.14")
 )
 
 lazy val isAtLeastScala213 = Def.setting {
-- 
cgit v1.2.3