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