Start of update to Scala 2.13.0.

anqili426 · Jul 11, 2019 · a79bb3d · a79bb3d
1 parent 80d6708
commit a79bb3d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/build.sbt b/build.sbt
@@ -6,7 +6,7 @@
 
 // Settings common to Silver and backends
 // Compilation settings
-ThisBuild / scalaVersion := "2.12.7"
+ThisBuild / scalaVersion := "2.13.0"
 ThisBuild / scalacOptions ++= Seq(
   "-deprecation",                     // Warn when using deprecated language features
   "-unchecked",                       // Warn on generated code assumptions

diff --git a/project/build.properties b/project/build.properties
@@ -1 +1 @@
-sbt.version=1.2.6
+sbt.version=1.2.8