Index: tests/avltree/avl.h
===================================================================
--- tests/avltree/avl.h	(revision fd54fef231baeeb0016103bf19cc8e6d87287faf)
+++ tests/avltree/avl.h	(revision be00a2d9e670bda1735912e13a549e62a6107cc7)
@@ -9,5 +9,6 @@
 // #include <lib.h>
 
-trait Comparable(T) {
+forall(T)
+trait Comparable {
   int ?<?(T, T);
 };
