From b828ed70e9fbbd0fc22931e72d9bc167fec9fa7f Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Wed, 18 Mar 2015 11:55:39 +0100
Subject: [PATCH] Tests main object with the same name as the file to prevent
 clashes

---
 .../regression/verification/purescala/valid/Monads3.scala       | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/resources/regression/verification/purescala/valid/Monads3.scala b/src/test/resources/regression/verification/purescala/valid/Monads3.scala
index a2911c987..f1c199970 100644
--- a/src/test/resources/regression/verification/purescala/valid/Monads3.scala
+++ b/src/test/resources/regression/verification/purescala/valid/Monads3.scala
@@ -1,7 +1,7 @@
 import leon.lang._
 import leon.collection._
 
-object FlatMap {
+object Monads3 {
 
   def append[T](l1: List[T], l2: List[T]): List[T] = {
     l1 match {
-- 
GitLab