From e744b5f2279c20a22dd51994deb74390f2ef73bc Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 28 Apr 2020 00:54:31 +0000
Subject: [PATCH] deps/k: cdc484531 - Better debugging support (#1229)

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

diff --git a/deps/k b/deps/k
index a8dfc588b3..cdc484531c 160000
--- a/deps/k
+++ b/deps/k
@@ -1 +1 @@
-Subproject commit a8dfc588b3e242cc9825c735bc6c8878c0103986
+Subproject commit cdc484531cf3e0149839c531d58f55f20bbb6cb1