From 491d59c1e289acc6e5cdcd5ccbfa904a26ae1cf2 Mon Sep 17 00:00:00 2001
From: Regis Blanc <regwblanc@gmail.com>
Date: Wed, 25 Feb 2015 14:03:10 +0100
Subject: [PATCH] fix rational test
---
.../regression/verification/purescala/valid/Rational.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/test/resources/regression/verification/purescala/valid/Rational.scala b/src/test/resources/regression/verification/purescala/valid/Rational.scala
index 4979d970a..d572a8bd3 100644
--- a/src/test/resources/regression/verification/purescala/valid/Rational.scala
+++ b/src/test/resources/regression/verification/purescala/valid/Rational.scala
@@ -5,10 +5,10 @@ object Rationals {
// Represents n/d
case class Q(n: BigInt, d: BigInt)
- def +(a: Q, b: Q) = {
+ def op(a: Q, b: Q) = {
require(isRational(a) && isRational(b))
- Q(a.n*b.d + b.n*a.d, a.d*b.d)
+ Q(a.n + b.n, a.d)
} ensuring {
isRational(_)
}
--
GitLab