From 12c53d67d0fcbe7e6e81181e4151af8702968a58 Mon Sep 17 00:00:00 2001
From: regehr <regehr>
Date: Wed, 4 Jun 2008 03:46:24 +0000
Subject: [PATCH] add unused annotation to be used for deputy bound temporaries

---
 tos/lib/safe/include/annots_stage1.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tos/lib/safe/include/annots_stage1.h b/tos/lib/safe/include/annots_stage1.h
index f375fb9e..bdfa61cc 100644
--- a/tos/lib/safe/include/annots_stage1.h
+++ b/tos/lib/safe/include/annots_stage1.h
@@ -2,6 +2,8 @@
 #define ANNOTS_STAGE1_INCLUDED
 #include <stddef.h>
 
+#define __DEPUTY_UNUSED__                      __attribute__((unused))
+
 // define away two obsolete annotations
 #define BOUND(x,y)
 #define SINGLE
-- 
2.39.2