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