diff --git a/testcases/synthesis/PrimeHeuristic.scala b/testcases/synthesis/PrimeHeuristic.scala
index 2a424dc11ff29cb11a89b7d7c59b43a761cb921d..03f5faab255b41e2b6da430710a2ef21a51a67d2 100644
--- a/testcases/synthesis/PrimeHeuristic.scala
+++ b/testcases/synthesis/PrimeHeuristic.scala
@@ -2,7 +2,7 @@ import leon.Utils._
 
 object PrimeHeuristic {
   def maybePrime(n: Int): Boolean = n match {
-    case 2 * k     => false
+      case 2 * k     => false
       case 3 * k     => false
       case 6 * k - 1 => true
       case 6 * k + 1 => true