diff --git a/testcases/MultiExample.scala b/testcases/MultiExample.scala
index 732cbaa082f68bb8c8861546103b04b0e20e9f7e..dd9498c10fec86dd549501979d7113d70996aa58 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)
-*/
 
 }