From 1fc14043c5bd07b20c5901cfe11ec0a88010b983 Mon Sep 17 00:00:00 2001
From: Viktor Kuncak <vkuncak@gmail.com>
Date: Fri, 16 Jul 2010 15:12:08 +0000
Subject: [PATCH] forgot to uncomment example
---
testcases/MultiExample.scala | 2 --
1 file changed, 2 deletions(-)
diff --git a/testcases/MultiExample.scala b/testcases/MultiExample.scala
index 732cbaa08..dd9498c10 100644
--- a/testcases/MultiExample.scala
+++ b/testcases/MultiExample.scala
@@ -3,7 +3,6 @@ import scala.collection.immutable.Multiset
object MultisetOperations {
-/*
def disjointUnion1(a: Multiset[Int], b: Multiset[Int]) : Multiset[Int] = {
a +++ b
} ensuring(res => res.size == a.size + b.size)
@@ -15,6 +14,5 @@ object MultisetOperations {
def preservedUnderToSet2(a: Multiset[Int], b: Multiset[Int]) : Multiset[Int] = {
a ** b
} ensuring(res => res.toSet == a.toSet ** b.toSet)
-*/
}
--
GitLab