From 4ed4f0d321f894062daab3127eed0e791a9b7c5e Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 4 Sep 2024 20:10:07 +0000
Subject: [PATCH] kevm-pyk/src/kevm_pyk/kproj/plugin: Set Version
 a18c1d424957f794a1254d7e560712749c2aeb10

---
 kevm-pyk/src/kevm_pyk/kproj/plugin | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kevm-pyk/src/kevm_pyk/kproj/plugin b/kevm-pyk/src/kevm_pyk/kproj/plugin
index 300c9cf567..a18c1d4249 160000
--- a/kevm-pyk/src/kevm_pyk/kproj/plugin
+++ b/kevm-pyk/src/kevm_pyk/kproj/plugin
@@ -1 +1 @@
-Subproject commit 300c9cf567eba4c8c88675ff67ebd859795ee169
+Subproject commit a18c1d424957f794a1254d7e560712749c2aeb10