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