diff --git a/src/test/resources/regression/verification/newsolvers/invalid/Array4.scala b/src/test/resources/regression/verification/newsolvers/invalid/Array4.scala
index 4e630cd428758454bc00f9e5355e502939839ad3..d7875d9b3ea09be869429c801fe59716213aac3a 100644
--- a/src/test/resources/regression/verification/newsolvers/invalid/Array4.scala
+++ b/src/test/resources/regression/verification/newsolvers/invalid/Array4.scala
@@ -6,7 +6,7 @@ object Array4 {
 
   def foo(a: Array[Int]): Int = {
     val tmp = a.updated(0, 0)
-    42
+    tmp(0)
   }
 
 }