Swapping HEAD and DEVEL branches

[tinyos-2.x.git] / tos / system / tos.h

diff --git a/tos/system/tos.h b/tos/system/tos.h
index 38292e8f013ed4d11d084927067c8577348f69e7..18d8bb4c18f921594679153670c65c40ac9ad8de 100644 (file)
--- a/tos/system/tos.h
+++ b/tos/system/tos.h
@@ -19,7 +19,7 @@
 typedef uint8_t bool;
 enum { FALSE = 0, TRUE = 1 };
 
-typedef int8_t nx_bool __attribute__((nx_base(int8)));
+typedef nx_int8_t nx_bool;
 uint16_t TOS_NODE_ID = 1;
 
 /* This macro is used to mark pointers that represent ownership