diff --git a/libs/cheri-cap-lib b/libs/cheri-cap-lib
index 80ba19d..a5f3c77 160000
--- a/libs/cheri-cap-lib
+++ b/libs/cheri-cap-lib
@@ -1 +1 @@
-Subproject commit 80ba19db9fdef5a59b4fa1d1f33f3b02d27a7d91
+Subproject commit a5f3c776c7e3162e2c5601813c092d151fdc8df2