Index: src/tests/avltree/avl-private.h
===================================================================
--- src/tests/avltree/avl-private.h	(revision 142cf5d5bc4083f9bfbdb71d2ae41cf1ec930d79)
+++ src/tests/avltree/avl-private.h	(revision 6b0b624129f6017f7706b516a24a52e382e3a334)
@@ -1,3 +1,3 @@
-#ifndef AVL_PRIVATE_H
+#pragma once
 #include "avl.h"
 
@@ -14,4 +14,2 @@
 forall(otype K | Comparable(K), otype V)
 int height(tree(K, V) * t);
-
-#endif
Index: src/tests/avltree/avl.h
===================================================================
--- src/tests/avltree/avl.h	(revision 142cf5d5bc4083f9bfbdb71d2ae41cf1ec930d79)
+++ src/tests/avltree/avl.h	(revision 6b0b624129f6017f7706b516a24a52e382e3a334)
@@ -1,4 +1,3 @@
-#ifndef AVL_TREE_H
-#define AVL_TREE_H
+#pragma once
 
 extern "C" {
@@ -104,5 +103,2 @@
 //     printTree(t, 0);
 // }
-
-
-#endif