From c7503f1b0f4203209b642f8128f788870a4de37e Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Thu, 14 May 2020 15:51:40 -0500
Subject: [PATCH] deps/plugin: 1081ab8 - Kframework dockerfile (#97) (#795)

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

diff --git a/deps/plugin b/deps/plugin
index 42d31c13d5..1081ab8770 160000
--- a/deps/plugin
+++ b/deps/plugin
@@ -1 +1 @@
-Subproject commit 42d31c13d5694d8eeb658cbc1b3925dc0e8c1c8a
+Subproject commit 1081ab8770979703830f0f867ca105b2480f9e50