From bca52437118cb660002a3bd19672bc0fcaadf2b1 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 26 Jun 2024 15:44:47 +0000
Subject: [PATCH] deps/k: update submodule 7.1.32

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

diff --git a/deps/k b/deps/k
index 1d3a8ac9a8..e2a2ca82da 160000
--- a/deps/k
+++ b/deps/k
@@ -1 +1 @@
-Subproject commit 1d3a8ac9a8a86e49a046066f37d472018d6f3fcb
+Subproject commit e2a2ca82da67f97f9aedcb084f58483e6088fc84