diff --git a/testcases/repair/List/List2.scala b/testcases/repair/List/List2.scala
index e3246d5e8c1d9e3f1b81d6e0b3e5968632947d40..5a000adc8b1a9fb326150e9a948466d85e8f5991 100644
--- a/testcases/repair/List/List2.scala
+++ b/testcases/repair/List/List2.scala
@@ -28,10 +28,10 @@ sealed abstract class List0[T] {
     case Cons0(x, xs) => xs ++ that // FIXME did not Cons 
   }) ensuring { res =>
     res.content == this.content ++ that.content && 
-    res.size == this.size + that.size &&
+    res.size == this.size + that.size/* &&
     (((this, that), res) passes {
       case ( x@Cons0(x1, Cons0(x2, Nil0())), y) => x
-    })
+    })*/
   }
 
   def head: T = {