diff --git a/kevm-pyk/src/kevm_pyk/kproj/plugin b/kevm-pyk/src/kevm_pyk/kproj/plugin index da74e13951..247588a696 160000 --- a/kevm-pyk/src/kevm_pyk/kproj/plugin +++ b/kevm-pyk/src/kevm_pyk/kproj/plugin @@ -1 +1 @@ -Subproject commit da74e13951883cecbbc23a941d0fe1bb48821afe +Subproject commit 247588a696bdb7fcfc170c93a59bd86927a91b3c