diff --git a/src/test/scala/leon/integration/evaluators/AbstractEvaluatorSuite.scala b/src/test/scala/leon/integration/evaluators/AbstractEvaluatorSuite.scala
index f7a47c0d71fc4abdab80698fe247757da48308c0..dcecd34aab8390ff4b658a28dd4f85f337c6d700 100644
--- a/src/test/scala/leon/integration/evaluators/AbstractEvaluatorSuite.scala
+++ b/src/test/scala/leon/integration/evaluators/AbstractEvaluatorSuite.scala
@@ -65,7 +65,7 @@ object AbstractTests {
     }
   }
   
-  test("Abstract evaluator should correctly handle boolean and recursive") { implicit fix =>
+  ignore("Abstract evaluator should correctly handle boolean and recursive") { implicit fix =>
     val testFd = funDef("AbstractTests.test2")
     val Leaf = cc("AbstractTests.Leaf")()
     def Node(left: Expr, n: Expr, right: Expr) = cc("AbstractTests.Node")(left, n, right)
@@ -94,4 +94,4 @@ object AbstractTests {
     }
   }
     
-}
\ No newline at end of file
+}