From 9dd923936fee310ac88974b56e4be63585041a07 Mon Sep 17 00:00:00 2001
From: Jonathan Woodruff <jdw57@cam.ac.uk>
Date: Fri, 18 Aug 2023 17:46:06 +0000
Subject: [PATCH] Add some missing exports.

---
 CHERICC_Fat.bsv | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/CHERICC_Fat.bsv b/CHERICC_Fat.bsv
index ed5be99..e3c308f 100644
--- a/CHERICC_Fat.bsv
+++ b/CHERICC_Fat.bsv
@@ -38,6 +38,7 @@ export CapReg;
 export CapPipe;
 
 export CapFat;
+export CapTrim;
 export MW;
 export OTypeW;
 export FlagsW;
@@ -51,6 +52,8 @@ export CapW;
 export ExpW;
 export CapAddrW;
 export CBoundsW;
+export CBounds;
+export VA_Width;
 export HPerms;
 export PermsW;
 export Exp;