From a42568632140ecc35ae5e9739de67414228192c9 Mon Sep 17 00:00:00 2001
From: Peter Rugg <pdr32@cam.ac.uk>
Date: Sun, 26 May 2019 16:26:56 +0100
Subject: [PATCH] Move flags field in cap representation to match sail

---
 CHERICC_Fat.bsv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHERICC_Fat.bsv b/CHERICC_Fat.bsv
index dfb9fd8..87855db 100644
--- a/CHERICC_Fat.bsv
+++ b/CHERICC_Fat.bsv
@@ -127,8 +127,8 @@ typedef TSub#(CapW,TAdd#(CapAddressW,TAdd#(OTypeW,TAdd#(CBoundsW,TAdd#(PermsW, F
 typedef struct {
   Bool          isCapability;
   Perms         perms;
-  Bit#(FlagsW)  flags;
   Bit#(ResW)    reserved;
+  Bit#(FlagsW)  flags;
   Bit#(OTypeW)  otype;
   CBounds       bounds;
   CapAddress    address;