From a322226a4f667f8fc94f5bdf35efd44de58e1c2a Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 21 Aug 2024 10:29:27 +0000
Subject: [PATCH] deps/plugin: Set Version
 44d875a9a36b14529c0bf40e7f36dc4f23429153

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

diff --git a/deps/plugin b/deps/plugin
index 5d78fff8cc..44d875a9a3 160000
--- a/deps/plugin
+++ b/deps/plugin
@@ -1 +1 @@
-Subproject commit 5d78fff8ccbe3bf2315e4e821397bbe284a9adeb
+Subproject commit 44d875a9a36b14529c0bf40e7f36dc4f23429153