From 98e95b129771d1b2c46cd66098fe283302eb6478 Mon Sep 17 00:00:00 2001
From: jon <jonwoodruff@gmail.com>
Date: Fri, 10 Jul 2020 20:48:59 +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 18f4ec4..abfcb20 160000
--- a/libs/cheri-cap-lib
+++ b/libs/cheri-cap-lib
@@ -1 +1 @@
-Subproject commit 18f4ec441751c04a6303685f49d9c29f72412f8f
+Subproject commit abfcb20d038c2bb4debebc562bb72453994b7917