From f903e7e73c49d7212d6cf565f6ec19d06d309734 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 18 Oct 2023 18:16:32 +0000
Subject: [PATCH] deps/k: sync submodule v6.0.148

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

diff --git a/deps/k b/deps/k
index 806dfccce..f359e814c 160000
--- a/deps/k
+++ b/deps/k
@@ -1 +1 @@
-Subproject commit 806dfcccea4a28a0ccc3c695a6fb109af55e60d1
+Subproject commit f359e814c87477e19b3109ef514425573d7e522f