From 124c4bbd6b06fbb1aeb1cd5416ca5328c6b3e46d Mon Sep 17 00:00:00 2001
From: Peter Rugg <pdr32@cam.ac.uk>
Date: Sat, 25 May 2019 14:29:58 +0100
Subject: [PATCH] Remove reserved field from HPerms

---
 CHERICC_Fat.bsv | 2 --
 1 file changed, 2 deletions(-)

diff --git a/CHERICC_Fat.bsv b/CHERICC_Fat.bsv
index de6574e..78d6842 100644
--- a/CHERICC_Fat.bsv
+++ b/CHERICC_Fat.bsv
@@ -102,7 +102,6 @@ typedef Bit#(CBoundsW) CBounds;
 typedef Bit#(CapAddressW) CapAddress;
 // The Hardware permissions type
 typedef struct {
-    Bool reserved;
     Bool permit_set_CID;
     Bool acces_sys_regs;
     Bool permit_unseal;
@@ -946,7 +945,6 @@ instance CHERICap #(CapPipe, OTypeW, FlagsW, CapAddressW, CapW);
 
   function CapPipe setHardPerms (CapPipe cap, HardPerms perms);
     cap.capFat.perms.hard = HPerms {
-      reserved: ?,
       permit_set_CID: perms.permitSetCID,
       acces_sys_regs: perms.accessSysRegs,
       permit_unseal: perms.permitUnseal,