Add another couple missing exports.

2023-08-18 17:51:33 +00:00
parent 9dd923936f
commit cab12e0532
1 changed files with 3 additions and 1 deletions
--- 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;

 // ===============================================================================