diff --git a/src/test/scala/leon/test/repair/RepairSuite.scala b/src/test/scala/leon/test/repair/RepairSuite.scala
index 08b6282e5cb8d2a06a7d95a798597c68d2aa0a42..a44e1352ca4b5cffc6fc74f285cba991aa11016c 100644
--- a/src/test/scala/leon/test/repair/RepairSuite.scala
+++ b/src/test/scala/leon/test/repair/RepairSuite.scala
@@ -21,7 +21,7 @@ class RepairSuite extends LeonTestSuite {
     "MergeSort2.scala"  -> "merge"
   )
   
-  for (file <- filesInResourceDir("regression/repair/")) {
+  for (file <- filesInResourceDir("regression/repair/", _.endsWith(".scala"))) {
     val path = file.getAbsoluteFile.toString
     val name = file.getName