diff --git a/src/test/resources/regression/verification/purescala/valid/BasicReal.scala b/src/test/resources/regression/verification/purescala/valid/BasicReal.scala index 7dac0622acce645c150decc8753c205eb7d97d8b..2250c5949517f03a744176bc857ca8255e31521b 100644 --- a/src/test/resources/regression/verification/purescala/valid/BasicReal.scala +++ b/src/test/resources/regression/verification/purescala/valid/BasicReal.scala @@ -16,7 +16,7 @@ object BasicReal { def divBy2(x: Real): Boolean = { x/Real(2) == x*Real(1,2) - } holds + }.holds def twice(x: Real): Real = { require(x > Real(0))