diff --git a/src/test/scala/leon/regression/termination/TerminationSuite.scala b/src/test/scala/leon/regression/termination/TerminationSuite.scala
index 52984ac7a781fd1c8b4e058bbadd094337260f87..876ad77bde182b5fd380300a69b3963929eaee31 100644
--- a/src/test/scala/leon/regression/termination/TerminationSuite.scala
+++ b/src/test/scala/leon/regression/termination/TerminationSuite.scala
@@ -35,7 +35,8 @@ class TerminationSuite extends LeonRegressionSuite {
     val ignored = List(
       "termination/valid/NNF.scala",
       //"verification/purescala/valid/MergeSort.scala",
-      "verification/purescala/valid/Nested14.scala"
+      "verification/purescala/valid/Nested14.scala",
+      "verification/purescala/valid/MergeSort2.scala"
     )
 
     val t = if (ignored.exists(displayName.replaceAll("\\\\","/").endsWith)) {