From 3c20ecd5991803f8be97e130d571fd30a28ee1ea Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 31 Oct 2023 17:22:46 +0000
Subject: [PATCH] deps/k: sync submodule v6.0.186

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

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