From af4de863301cbd6d4fdc1249a29a42c122645e3a Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 29 Jul 2024 18:45:57 +0000
Subject: [PATCH] deps/plugin: Set Version
 415b8ce8fa594f41ce3a3f29fc83e954284f81cf

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

diff --git a/deps/plugin b/deps/plugin
index f8a9366031..415b8ce8fa 160000
--- a/deps/plugin
+++ b/deps/plugin
@@ -1 +1 @@
-Subproject commit f8a93660317c377fc7a16b3d49b0518892354a28
+Subproject commit 415b8ce8fa594f41ce3a3f29fc83e954284f81cf