diff --git a/src/test/resources/regression/verification/purescala/valid/Monads3.scala b/src/test/resources/regression/verification/purescala/valid/Monads3.scala
index a2911c98793e1d487b5338bc2d07010b52170ace..f1c19997078f25545f9c3f05f55186b0db23525b 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 {