From f5ec436d19c70b283a225d6b4b437ca6da362f56 Mon Sep 17 00:00:00 2001
From: Peter Rugg <pdr32@cam.ac.uk>
Date: Thu, 7 May 2020 16:34:09 +0100
Subject: [PATCH] Bump cheri-cap-lib

---
 libs/cheri-cap-lib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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