From 97d89086a62797eb06e09336fcc26a2f671debad Mon Sep 17 00:00:00 2001
From: Peter Rugg <pdr32@cam.ac.uk>
Date: Thu, 23 Jul 2020 11:20:30 +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 abfcb20..a812eda 160000
--- a/libs/cheri-cap-lib
+++ b/libs/cheri-cap-lib
@@ -1 +1 @@
-Subproject commit abfcb20d038c2bb4debebc562bb72453994b7917
+Subproject commit a812edaffaecc9b537f8974a528b915dda829bb6