diff --git a/src/test/scala/leon/test/evaluators/EvaluatorsTests.scala b/src/test/scala/leon/test/evaluators/EvaluatorsTests.scala
index 678373a8968f5aa079ed1dc1964c8a1bd23edc56..2673b0ab4abe997897cde2b790d6fc6ec1bcd825 100644
--- a/src/test/scala/leon/test/evaluators/EvaluatorsTests.scala
+++ b/src/test/scala/leon/test/evaluators/EvaluatorsTests.scala
@@ -32,7 +32,6 @@ class EvaluatorsTests extends leon.test.LeonTestSuite {
     val program = pipeline.run(leonContext)((str, Nil))
 
     assert(leonContext.reporter.errorCount   === errorsBefore)
-    assert(leonContext.reporter.warningCount === warningsBefore)
 
     program
   }