X-Git-Url: https://oss.titaniummirror.com/gitweb/?p=nesc.git;a=blobdiff_plain;f=tools%2Fdeputy_nodeputy.h;h=1d9cafc25751e251fa7c1ab2410b8b7b55f45fb3;hp=9510c60f84cf15489f415ce5cacd1b9ea5e359cc;hb=7b54393e237ed8f23c0c74f0a6cbc8de26c5bf98;hpb=57d4530c4d6814fa25338a00cc65b95938c723b6

diff --git a/tools/deputy_nodeputy.h b/tools/deputy_nodeputy.h
index 9510c60..1d9cafc 100644
--- a/tools/deputy_nodeputy.h
+++ b/tools/deputy_nodeputy.h
@@ -5,16 +5,16 @@
 
 #define __DEPUTY_UNUSED__                      __attribute__((unused))
 
-struct @nonnull @deputy_scope() { }; 
+struct @nonnull @deputy_scope() { int dummy; }; 
 struct @bnd @deputy_scope() { void *lo, *hi; }; 
 struct @bnd_nok @deputy_scope() { void *lo, *hi; }; 
 struct @count @deputy_scope() { int n; }; 
 struct @count_nok @deputy_scope() { int n; }; 
-struct @one @deputy_scope() { }; 
-struct @one_nok @deputy_scope() { };
+struct @one @deputy_scope() { int dummy; }; 
+struct @one_nok @deputy_scope() { int dummy; };
 struct @dmemset @deputy_scope() { int a1, a2, a3; };
 struct @dmemcpy @deputy_scope() { int a1, a2, a3; };
-struct @nts @deputy_scope() { }; 
+struct @nts @deputy_scope() { int dummy; }; 
 
 #define NONNULL                                @nonnull()
 #define BND(x,y)                               @bnd(x,y)