From 974bac934d9170078a42defec8ddc04e0528baca Mon Sep 17 00:00:00 2001
From: Scott Guest <scott.guest@runtimeverification.com>
Date: Tue, 9 Jan 2024 19:39:10 -0500
Subject: [PATCH] update blockchain-k-plugin to version
 f27c5ec4861272c1ad4496bc6aab9f47dd6d473a

---
 deps/blockchain-k-plugin_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release
index 8fd1ef750..e4aa32837 100644
--- a/deps/blockchain-k-plugin_release
+++ b/deps/blockchain-k-plugin_release
@@ -1 +1 @@
-b42e6ede9f6b72cedabc519810416e2994caad45
+f27c5ec4861272c1ad4496bc6aab9f47dd6d473a