diff --git a/libs/cheri-cap-lib b/libs/cheri-cap-lib
index a812eda..b80c1b3 160000
--- a/libs/cheri-cap-lib
+++ b/libs/cheri-cap-lib
@@ -1 +1 @@
-Subproject commit a812edaffaecc9b537f8974a528b915dda829bb6
+Subproject commit b80c1b3c5977b3aad0cf38125788566458e01493