diff --git a/build.sbt b/build.sbt
index c4afd1266752e5c23ba014df2859304ee75e4ce3..27e8fb539c2a957b33b4b0f11368d6f93d6fe4e0 100644
--- a/build.sbt
+++ b/build.sbt
@@ -4,7 +4,7 @@ version := "2.3"
 
 organization := "ch.epfl.lara"
 
-scalaVersion := "2.11.1"
+scalaVersion := "2.11.2"
 
 scalacOptions ++= Seq(
     "-deprecation",
@@ -23,7 +23,7 @@ if(System.getProperty("sun.arch.data.model") == "64") {
 resolvers += "Typesafe Repository" at "http://repo.typesafe.com/typesafe/releases/"
 
 libraryDependencies ++= Seq(
-    "org.scala-lang" % "scala-compiler" % "2.11.1",
+    "org.scala-lang" % "scala-compiler" % "2.11.2",
     "org.scalatest" %% "scalatest" % "2.2.0" % "test",
     "com.typesafe.akka" %% "akka-actor" % "2.3.4"
 )
diff --git a/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala b/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala
index 4bfd35e92d8337b210d5dd8d1ee204a5303f6dad..c553003064c0926460bdb92f1e8d0ebf14ce36a2 100644
--- a/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala
+++ b/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala
@@ -20,8 +20,8 @@ class PureScalaVerificationRegression extends LeonTestSuite {
   private case class Output(report : VerificationReport, reporter : Reporter)
 
   private def mkPipeline : Pipeline[List[String], VerificationReport] =
-    ExtractionPhase     andThen 
-    PreprocessingPhase  andThen 
+    ExtractionPhase     andThen
+    PreprocessingPhase  andThen
     AnalysisPhase
 
   private def mkTest(file : File, leonOptions : Seq[LeonOption], forError: Boolean)(block: Output=>Unit) = {