diff --git a/libs/cheri-cap-lib b/libs/cheri-cap-lib
index 81f5025..18f4ec4 160000
--- a/libs/cheri-cap-lib
+++ b/libs/cheri-cap-lib
@@ -1 +1 @@
-Subproject commit 81f5025366c727af105b597207ce93a0ea0e2cba
+Subproject commit 18f4ec441751c04a6303685f49d9c29f72412f8f