-.-

testcases/regression/unifier_valid.scala

@@ -26,7 +26,7 @@ object BinarySearchTree {
         n
       }
     }
-  } //ensuring (contents(_) == contents(tree) ++ Set(value))
+  } ensuring (contents(_) == contents(tree) ++ Set(value))
 
 
   def dumbInsert(tree: Tree): Node = {