From 9dd2dd9c776b5dcca77a122dad8997d2bb3ecef8 Mon Sep 17 00:00:00 2001
From: jon <>
Date: Tue, 9 Feb 2021 19:20:47 +0000
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 a812eda..b80c1b3 160000
--- a/libs/cheri-cap-lib
+++ b/libs/cheri-cap-lib
@@ -1 +1 @@
-Subproject commit a812edaffaecc9b537f8974a528b915dda829bb6
+Subproject commit b80c1b3c5977b3aad0cf38125788566458e01493