diff --git a/src/test/resources/regression/verification/purescala/valid/SpecWithExtern.scala b/src/test/resources/regression/verification/purescala/invalid/SpecWithExtern.scala
similarity index 100%
rename from src/test/resources/regression/verification/purescala/valid/SpecWithExtern.scala
rename to src/test/resources/regression/verification/purescala/invalid/SpecWithExtern.scala