diff --git a/tests/udita/LeftistHeapTest.scala b/tests/udita/LeftistHeapTest.scala
index 8e88501df39a2f3e14016b8f2d0a4752d9027953..dc8ea49ff88a710d7dfddc29d2d91af5bfa587af 100644
--- a/tests/udita/LeftistHeapTest.scala
+++ b/tests/udita/LeftistHeapTest.scala
@@ -93,7 +93,7 @@ object LeftistHeapTest extends Application {
   }
   
   def forAll(property : ((Heap,Int) => Boolean)){
-    assert(property(generateLeftistHeap(4), 0));//Verify.getInt(0,4)));
+    assert(property(generateLeftistHeap(4), Verify.getInt(0,4)));
   }
 
   forAll((heap: Heap, value: Int) => content(heap.insert(value)) == content(heap) +++ List(value));
diff --git a/tests/udita/SkewBinaryRandomAccessListTest.scala b/tests/udita/SkewBinaryRandomAccessListTest.scala
index 4f2ff61d213da1d648207b8c6fa62ff1c5a87b65..e7051ca907fc90fb930858db5a1e3ed17590b767 100644
--- a/tests/udita/SkewBinaryRandomAccessListTest.scala
+++ b/tests/udita/SkewBinaryRandomAccessListTest.scala
@@ -128,7 +128,7 @@ object SkewBinaryRandomAccessListTest extends Application {
   //generateSkewBinaryList(4);
   
   def forAll(property : ((RList,Int) => Boolean)){
-    assert(property(generateSkewBinaryList(4), 4));//Verify.getInt(0,4)));
+    assert(property(generateSkewBinaryList(4), Verify.getInt(0,4)));
   }
 
   forAll((skew, value) => (content(cons(value,skew)) == content(skew) +++ List(value)));