Index: kernel/generic/src/proc/task.c
===================================================================
--- kernel/generic/src/proc/task.c	(revision edc64c03b91257aecae0d60886bd274aea300bf9)
+++ kernel/generic/src/proc/task.c	(revision 3c453534a2b093c8039d8e8059b923c71f3492a3)
@@ -46,5 +46,5 @@
 #include <synch/waitq.h>
 #include <arch.h>
-#include <arch/barrier.h>
+#include <barrier.h>
 #include <adt/avl.h>
 #include <adt/btree.h>