From 73a8b99c6c05f015f1b3b2189ef991c9bb8ba295 Mon Sep 17 00:00:00 2001
From: Peter Rugg <pdr32@cam.ac.uk>
Date: Tue, 2 Jun 2020 10:22:36 +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 c69acb8..88bcd6b 160000
--- a/libs/cheri-cap-lib
+++ b/libs/cheri-cap-lib
@@ -1 +1 @@
-Subproject commit c69acb812d8aec71a09144ac13115a67f33e0525
+Subproject commit 88bcd6b487cbf69e0814f684caccc7505b6ae89b