diff --git a/libs/cheri-cap-lib b/libs/cheri-cap-lib index b8f7b51..ed36665 160000 --- a/libs/cheri-cap-lib +++ b/libs/cheri-cap-lib @@ -1 +1 @@ -Subproject commit b8f7b51e8a00b320cc5d4c5f5a31c404915f777f +Subproject commit ed366654f0237079fac6694affdad65f945001ef