From 0d94371bce7572d7ec04581a9cf4c2e87d995f03 Mon Sep 17 00:00:00 2001
From: Lars Hupel <lars.hupel@mytum.de>
Date: Sun, 27 Mar 2016 16:11:17 +0200
Subject: [PATCH] update Scala version to 2.11.8

---
 build.sbt | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/build.sbt b/build.sbt
index ee6223e2b..0273bf8cb 100644
--- a/build.sbt
+++ b/build.sbt
@@ -4,7 +4,9 @@ version := "3.0"
 
 organization := "ch.epfl.lara"
 
-scalaVersion := "2.11.7"
+val scalaVer = "2.11.8"
+
+scalaVersion := scalaVer
 
 scalacOptions ++= Seq(
   "-deprecation",
@@ -35,12 +37,12 @@ resolvers ++= Seq(
 val libisabelleVersion = "0.3"
 
 libraryDependencies ++= Seq(
-  "org.scala-lang" % "scala-compiler" % "2.11.7",
+  "org.scala-lang" % "scala-compiler" % scalaVer,
   "org.scalatest" %% "scalatest" % "2.2.4" % "test",
   "com.typesafe.akka" %% "akka-actor" % "2.3.4",
-  "info.hupel" %% "libisabelle" % libisabelleVersion,
-  "info.hupel" %% "libisabelle-setup" % libisabelleVersion,
   "org.slf4j" % "slf4j-nop" % "1.7.13",
+  "info.hupel" %% "libisabelle" % libisabelleVer,
+  "info.hupel" %% "libisabelle-setup" % libisabelleVer,
   "org.ow2.asm" % "asm-all" % "5.0.4",
   "com.fasterxml.jackson.module" %% "jackson-module-scala" % "2.6.0-rc2",
   "com.regblanc" %% "scala-smtlib" % "0.2"
-- 
GitLab