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;
 
 // ===============================================================================