update

[l4.git] / l4 / pkg / l4util / include / ARCH-arm / atomic_arch.h

diff --git a/l4/pkg/l4util/include/ARCH-arm/atomic_arch.h b/l4/pkg/l4util/include/ARCH-arm/atomic_arch.h
index 9f68d6ab9155692c3631c196db736337590b1ed1..9b00719636089b228e1b3d2520a0b9baa28f49ff 100644 (file)
--- a/l4/pkg/l4util/include/ARCH-arm/atomic_arch.h
+++ b/l4/pkg/l4util/include/ARCH-arm/atomic_arch.h
@@ -15,7 +15,7 @@
 
 #ifdef __GNUC__
 
-#include <l4/sys/kdebug.h>
+#include <l4/sys/atomic.h>
 
 EXTERN_C_BEGIN