diff --git a/src/test/scala/leon/integration/evaluators/AbstractEvaluatorSuite.scala b/src/test/scala/leon/integration/evaluators/AbstractEvaluatorSuite.scala
index dcecd34aab8390ff4b658a28dd4f85f337c6d700..583bb3230f5257c8f65216cc92976f3c605f02f6 100644
--- a/src/test/scala/leon/integration/evaluators/AbstractEvaluatorSuite.scala
+++ b/src/test/scala/leon/integration/evaluators/AbstractEvaluatorSuite.scala
@@ -73,6 +73,7 @@ object AbstractTests {
     val NodeType = classType("AbstractTests.Node", Seq()).asInstanceOf[CaseClassType]
     
     val ae = new AbstractEvaluator(fix._1, fix._2)
+    ae.evaluateCaseClassSelector = false
     
     val input = Node(Leaf, IntLiteral(5), Leaf)