Index: src/examples/avltree/avl-private.h
===================================================================
--- src/examples/avltree/avl-private.h	(revision 2edd55026905daec66f3c3e8e2d6b1aa40e17c7d)
+++ src/examples/avltree/avl-private.h	(revision 77f347d1c8509dbee8624f8d6d908e6b8338ca40)
@@ -1,3 +1,2 @@
-#ifndef AVL_PRIVATE_H
 #include "avl.h"
 
@@ -14,4 +13,2 @@
 forall(otype K | Comparable(K), otype V)
 int height(tree(K, V) * t);
-
-#endif