From 511da31baf97d2fa48fe9b2b48b81ef871e8706e Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Wed, 30 Jul 2014 17:25:34 +0200
Subject: [PATCH] well well well
---
build.sbt | 4 ++--
.../test/verification/PureScalaVerificationRegression.scala | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/build.sbt b/build.sbt
index c4afd1266..27e8fb539 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 4bfd35e92..c55300306 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) = {
--
GitLab