diff --git a/libs/cheri-cap-lib b/libs/cheri-cap-lib
index c69acb8..88bcd6b 160000
--- a/libs/cheri-cap-lib
+++ b/libs/cheri-cap-lib
@@ -1 +1 @@
-Subproject commit c69acb812d8aec71a09144ac13115a67f33e0525
+Subproject commit 88bcd6b487cbf69e0814f684caccc7505b6ae89b