diff --git a/src/test/resources/regression/verification/purescala/valid/Heap.scala b/src/test/resources/regression/verification/purescala/valid/Heap.scala
index 1bd683c1522b27984f9998f93aad023e4eae403a..530354f30cf979e0a43525b08de7f2d4242577e0 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
 }