From b6ecd84a4c7a0956bada4748ea990b2b2e3c016f Mon Sep 17 00:00:00 2001
From: Robin Steiger <robin.steiger@epfl.ch>
Date: Mon, 12 Jul 2010 22:56:35 +0000
Subject: [PATCH] -.-
---
testcases/regression/unifier_valid.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/testcases/regression/unifier_valid.scala b/testcases/regression/unifier_valid.scala
index 6fa6c41f1..d201527ce 100644
--- a/testcases/regression/unifier_valid.scala
+++ b/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 = {
--
GitLab