From 7539ffb59f9d70b1250f4433462ec5872c3d68f5 Mon Sep 17 00:00:00 2001
From: dwightguth <dwight.guth@runtimeverification.com>
Date: Mon, 29 Jul 2019 10:06:55 -0500
Subject: [PATCH] deps/plugin: update submodule (#415)

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

diff --git a/deps/plugin b/deps/plugin
index 55507cbd66..bd3ac0f627 160000
--- a/deps/plugin
+++ b/deps/plugin
@@ -1 +1 @@
-Subproject commit 55507cbd662da83f99b1a2167e63f1d617df86e5
+Subproject commit bd3ac0f627e7681e4672f040f95f88a03bfe0f07