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