From 17ef51f6e6765f186456b2378fb71e3419cf80fd Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Sat, 11 Nov 2023 02:35:51 +0000
Subject: [PATCH] deps/k: sync submodule v6.1.7

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

diff --git a/deps/k b/deps/k
index 28f9950ad..6c5492b3d 160000
--- a/deps/k
+++ b/deps/k
@@ -1 +1 @@
-Subproject commit 28f9950ad1b49bcebf7d83736b1d5252e92db6f7
+Subproject commit 6c5492b3df45923f5c92e92cb15819e408ec850e