From 1b42b2c173e7a508ba5ae8ccd6b7e93d4b213d7a Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Tue, 4 Dec 2012 16:26:19 +0100
Subject: [PATCH] ws
---
testcases/synthesis/PrimeHeuristic.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/testcases/synthesis/PrimeHeuristic.scala b/testcases/synthesis/PrimeHeuristic.scala
index 2a424dc11..03f5faab2 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
--
GitLab