diff --git a/testcases/Sat.scala b/testcases/Sat.scala
index c1e47f9e8153f2adf4fc4b8e86c2cdf4924865dc..408710016f4b44296a5fd89146c3a03aa8aa0690 100644
--- a/testcases/Sat.scala
+++ b/testcases/Sat.scala
@@ -1,6 +1,6 @@
 import leon.Utils._
 
-object SatFun {
+object Sat {
 
   sealed abstract class Formula
   case class And(f1: Formula, f2: Formula) extends Formula