From df7dde57596cd78b47bcfedd107c8a839d3f12c1 Mon Sep 17 00:00:00 2001
From: Peter Rugg <pdr32@cam.ac.uk>
Date: Thu, 23 Apr 2020 15:44:47 +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 80ba19d..a5f3c77 160000
--- a/libs/cheri-cap-lib
+++ b/libs/cheri-cap-lib
@@ -1 +1 @@
-Subproject commit 80ba19db9fdef5a59b4fa1d1f33f3b02d27a7d91
+Subproject commit a5f3c776c7e3162e2c5601813c092d151fdc8df2