From 6f79bef97eb2011900b9c5956cb8f6d2e8ca3f5f Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Thu, 5 Dec 2019 00:26:45 -0600
Subject: [PATCH] Update dependencies (#595)

* deps/k: update submodule

* deps/k: update submodule
---
 deps/k | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/k b/deps/k
index 18ad1bacc9..50598f61ed 160000
--- a/deps/k
+++ b/deps/k
@@ -1 +1 @@
-Subproject commit 18ad1bacc9b60f9dedc13c0b6b8e75e508913ae5
+Subproject commit 50598f61edc9b225ae6137ec7480933827d5c730