From a4c1850e5382a5ac98ba65044a49ea5f260f3779 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Mon, 2 May 2022 21:38:46 +0000
Subject: [PATCH] deps/k: 2566fb568 - Set Version: 5.3.31

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

diff --git a/deps/k b/deps/k
index 8cff79166e..2566fb568f 160000
--- a/deps/k
+++ b/deps/k
@@ -1 +1 @@
-Subproject commit 8cff79166e7223df57366b7bf44054572592fc4c
+Subproject commit 2566fb568f53222e521a737caf250427712e5240