From c2917d558f7545cbe6576b0ebbd3342158f2f9f0 Mon Sep 17 00:00:00 2001
From: jon <jonwoodruff@gmail.com>
Date: Wed, 1 Apr 2020 14:44:21 +0100
Subject: [PATCH] Bump library version to that required by current design.

---
 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 486d7b3..5c138fe 160000
--- a/libs/cheri-cap-lib
+++ b/libs/cheri-cap-lib
@@ -1 +1 @@
-Subproject commit 486d7b31eb9a2e49d60ebb308cda61f8e6bd9099
+Subproject commit 5c138fe263d3d0908b242df7727e3543c82367e8