From a79bb3da9a712bcdeb64fe443f5b0bbc60964a9d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?F=C3=A1bio=20Pakk=20Selmi-Dei?= <fabio.pakk@inf.ethz.ch>
Date: Thu, 11 Jul 2019 09:37:44 +0200
Subject: [PATCH] Start of update to Scala 2.13.0.

---
 build.sbt                | 2 +-
 project/build.properties | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.sbt b/build.sbt
index 12421b9fc..55a388402 100644
--- 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
index 19a4e477e..7523d2605 100644
--- a/project/build.properties
+++ b/project/build.properties
@@ -1 +1 @@
-sbt.version=1.2.6
+sbt.version=1.2.8