diff --git a/libs/cheri-cap-lib b/libs/cheri-cap-lib index b44b770..dd24b76 160000 --- a/libs/cheri-cap-lib +++ b/libs/cheri-cap-lib @@ -1 +1 @@ -Subproject commit b44b77050ff8f98aab0e39f513bf6404a946bc98 +Subproject commit dd24b7672b1b7479a9a665915d7682cb75e84e60