From b42165be8b4334a84d7a8854e9fd3df1c8b8875e Mon Sep 17 00:00:00 2001
From: Regis Blanc <regwblanc@gmail.com>
Date: Mon, 20 Jul 2015 12:57:54 +0200
Subject: [PATCH] fix warning
---
.../regression/verification/purescala/valid/BasicReal.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/test/resources/regression/verification/purescala/valid/BasicReal.scala b/src/test/resources/regression/verification/purescala/valid/BasicReal.scala
index 7dac0622a..2250c5949 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))
--
GitLab