From bbeb98fc8ce0c822d622ad94b48928fb1c4db3ab Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Wed, 27 Jun 2012 14:21:48 +0200
Subject: [PATCH] edit object title
---
testcases/Sat.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/testcases/Sat.scala b/testcases/Sat.scala
index c1e47f9e8..408710016 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
--
GitLab