From 373e3c1de8046a4685bb44f299fa3034a1e26dd0 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 1 Nov 2023 13:52:50 +0000
Subject: [PATCH] deps/k: sync submodule v6.0.187

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

diff --git a/deps/k b/deps/k
index edfbe5095..c884b1b2b 160000
--- a/deps/k
+++ b/deps/k
@@ -1 +1 @@
-Subproject commit edfbe50954a8c672afe9abc9d35e0426ed36ba64
+Subproject commit c884b1b2be05aeac51b9389c145a7b6c260ac039