diff --git a/project/build.properties b/project/build.properties
index 80681089b81f85c002f014e21ec0a0e52df2ce10..84dad3d345996c66d27d560442f52218b1d942aa 100644
--- a/project/build.properties
+++ b/project/build.properties
@@ -4,6 +4,6 @@ project.scratch=true
 project.name=FunCheck
 sbt.version=0.7.4
 project.version=1.0
-def.scala.version=2.8.0
+def.scala.version=2.7.7
 build.scala.versions=2.8.0
 project.initialize=false
diff --git a/project/build/funcheck.scala b/project/build/funcheck.scala
index 666816601e849f1305aeaf695613c802680f7c8f..d4b148c4f39b9f1f45e953ea30830ebea3f8d847 100644
--- a/project/build/funcheck.scala
+++ b/project/build/funcheck.scala
@@ -1,6 +1,8 @@
 import sbt._
 
 class FunCheckProject(info: ProjectInfo) extends DefaultProject(info) with FileTasks {
+  val scalatest = "org.scalatest" % "scalatest" % "1.2"
+
   override def outputDirectoryName = "bin"
   override def dependencyPath      = "lib"
   override def shouldCheckOutputDirectories = false
@@ -100,6 +102,7 @@ class FunCheckProject(info: ProjectInfo) extends DefaultProject(info) with FileT
   class SetConstraintsProject(info: ProjectInfo) extends PersonalizedProject(info) {
     override def outputPath = "bin" / "setconstraints"
     override def mainScalaSourcePath = "src" / "setconstraints"
+    override def testScalaSourcePath = "src" / "setconstraints-tests"
     override def unmanagedClasspath = super.unmanagedClasspath +++ purescala.jarPath
   }
 }