diff --git a/testcases/BinarySearchTree.scala b/testcases/BinarySearchTree.scala
index cd2686addcf9d5ad472d977644a1d537aa66e124..ce313c307069ab676242e8a7288be2f9a99c65a3 100644
--- a/testcases/BinarySearchTree.scala
+++ b/testcases/BinarySearchTree.scala
@@ -55,7 +55,7 @@ object BinarySearchTree {
       }
     }
   }) ensuring (res => res match { case SortedTriple(min,max,sort) => min match {
-     	      	      	  				   case None() => res == SortedTriple(None(),None(),false)
+     	      	      	  				   case None() => res == SortedTriple(None(),None(),sort)
 							   case Some(minv) => max match {
 							     case None() => false
 							     case Some(maxv) => sort && minv <= maxv}}})