From 6bb68c4363337b8e244553083933f7c211b2f3ef Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 14 Oct 2024 23:28:40 +0000
Subject: [PATCH] deps/plugin: Set Version
 e6994c21c59dd2d15ddb97d5169d78aa6645a8fb

---
 deps/plugin | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/plugin b/deps/plugin
index f8f780a363..e6994c21c5 160000
--- a/deps/plugin
+++ b/deps/plugin
@@ -1 +1 @@
-Subproject commit f8f780a363c07c6a7e818fb10f12349e8e47e6cc
+Subproject commit e6994c21c59dd2d15ddb97d5169d78aa6645a8fb