From cab12e05326d516271ca8812bf4d56405d488be3 Mon Sep 17 00:00:00 2001
From: Jonathan Woodruff <jdw57@cam.ac.uk>
Date: Fri, 18 Aug 2023 17:51:33 +0000
Subject: [PATCH] Add another couple missing exports.

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

diff --git a/CHERICC_Fat.bsv b/CHERICC_Fat.bsv
index e3c308f..2527c84 100644
--- a/CHERICC_Fat.bsv
+++ b/CHERICC_Fat.bsv
@@ -38,7 +38,6 @@ export CapReg;
 export CapPipe;
 
 export CapFat;
-export CapTrim;
 export MW;
 export OTypeW;
 export FlagsW;
@@ -59,6 +58,9 @@ export PermsW;
 export Exp;
 export MetaInfo;
 export SetBoundsReturn;
+export CapTrim;
+export trimCap;
+export untrimCap;
 
 // ===============================================================================