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