From 37fef55a27de7714f6e14f0322bb72c8e8dc07ec Mon Sep 17 00:00:00 2001
From: Anna Lyons <Anna.Lyons@data61.csiro.au>
Date: Tue, 11 Apr 2017 11:27:37 +1000
Subject: [PATCH] trivial: remove unused 'bound' field from ntfn

---
 include/object/structures_64.bf | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/include/object/structures_64.bf b/include/object/structures_64.bf
index 085d9fdd3..897cdaf2f 100644
--- a/include/object/structures_64.bf
+++ b/include/object/structures_64.bf
@@ -138,8 +138,7 @@ block notification {
     field_high ntfnQueue_head 49
 
     field_high ntfnQueue_tail 49
-    padding 12
-    field bound 1
+    padding 13
     field state 2
 }