Index: kernel/generic/src/adt/avl.c
===================================================================
--- kernel/generic/src/adt/avl.c	(revision 3bacee1839e6f355100ab4ea86bb211e9ecf19ed)
+++ kernel/generic/src/adt/avl.c	(revision 7148abf7be4fb0241aed4a17a23df1ffc5c77163)
@@ -308,5 +308,5 @@
  */
 static int
-    repair(avltree_t *t, avltree_node_t *u, avltree_node_t *v, avltree_node_t *w,
+repair(avltree_t *t, avltree_node_t *u, avltree_node_t *v, avltree_node_t *w,
     int *dir, int ro)
 {