Changes in src/tests/avltree/avl1.c [6e4b913:142cf5d]

File:

• src/tests/avltree/avl1.c (modified) (1 diff)

src/tests/avltree/avl1.c

@@ -12 +12 @@
 }
 
-forall(otype K | Comparable(K), otype V)
+forall(otype K, otype V)
 void ^?{}(tree(K, V) * t){
   delete(t->left);