diff --git a/src/test/scala/leon/test/frontends/FrontEndsTest.scala b/src/test/scala/leon/test/frontends/FrontEndsTest.scala
index 553dbf1b7581c0563e1c70ff9260326966b320a7..c5b7e63fb2311544fa945787b66576ab1c41013b 100644
--- a/src/test/scala/leon/test/frontends/FrontEndsTest.scala
+++ b/src/test/scala/leon/test/frontends/FrontEndsTest.scala
@@ -34,7 +34,7 @@ class FrontEndsTest extends leon.test.LeonTestSuite {
     purescala.RestoreMethods andThen
     utils.FileOutputPhase
     
-  forEachFileIn("frontends" ) { f => 
+  forEachFileIn("regression/frontends" ) { f => 
       testExtr(f)
   }