diff --git a/src/test/resources/regression/verification/purescala/valid/Rational.scala b/src/test/resources/regression/verification/purescala/valid/NotEquals.scala
similarity index 86%
rename from src/test/resources/regression/verification/purescala/valid/Rational.scala
rename to src/test/resources/regression/verification/purescala/valid/NotEquals.scala
index d572a8bd3324390e81cc1ce3bf855d60e9bc61d6..f33e1bb5dd509a02e68eaf30d2164d5e5920e3c0 100644
--- a/src/test/resources/regression/verification/purescala/valid/Rational.scala
+++ b/src/test/resources/regression/verification/purescala/valid/NotEquals.scala
@@ -1,14 +1,15 @@
 import leon.annotation._
 import leon.lang._
 
-object Rationals { 
+object NotEquals { 
+
   // Represents n/d
   case class Q(n: BigInt, d: BigInt)
 
   def op(a: Q, b: Q) = {
     require(isRational(a) && isRational(b))
 
-      Q(a.n + b.n, a.d)
+    Q(a.n + b.n, a.d)
   } ensuring {
     isRational(_)
   }