safe tinyos annotations

[tinyos-2.x.git] / tos / system / PoolP.nc

diff --git a/tos/system/PoolP.nc b/tos/system/PoolP.nc
index 0dc44e5319d1c1b1d54cd1b3c94f3994e99c5da5..c7198505a2480875ae58d24df573ccd187671561 100644 (file)
--- a/tos/system/PoolP.nc
+++ b/tos/system/PoolP.nc
@@ -59,7 +59,7 @@ generic module PoolP(typedef pool_t, uint8_t size) {
 implementation {
   uint8_t free;
   uint8_t index;
-  pool_t* queue[size];
+  pool_t* ONE_NOK queue[size];
   pool_t pool[size];
 
   command error_t Init.init() {