From 2ec0a0be14730f3af6a0447177603cdfcc3be8bb Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Mon, 15 Jul 2013 14:46:11 +0200
Subject: [PATCH] Fix 2.10 warnings in new benchmark
---
.../regression/verification/purescala/valid/Heap.scala | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/test/resources/regression/verification/purescala/valid/Heap.scala b/src/test/resources/regression/verification/purescala/valid/Heap.scala
index 1bd683c15..530354f30 100644
--- a/src/test/resources/regression/verification/purescala/valid/Heap.scala
+++ b/src/test/resources/regression/verification/purescala/valid/Heap.scala
@@ -127,19 +127,19 @@ object Heaps {
findMin(h1) == Some(42) &&
findMin(h2) == Some(42) &&
findMin(h3) == Some(0)
- } holds
+ }.holds
def sanity1() : Boolean = {
val h0 = insert(42, Empty)
val h1 = insert(0, Empty)
val h2 = merge(h0, h1)
findMin(h2) == Some(0)
- } holds
+ }.holds
def sanity3() : Boolean = {
val h0 = insert(42, insert(0, insert(3, insert(12, Empty))))
val h1 = deleteMin(h0)
findMin(h1) == Some(3)
- } holds
+ }.holds
}
--
GitLab