From 4687af52a35de14172efa48658d51a3cb6ad47e0 Mon Sep 17 00:00:00 2001
From: Vladislav Kalugin <kalugin.vlad@gmail.com>
Date: Thu, 19 Oct 2023 13:23:27 +0300
Subject: [PATCH] Update klee

---
 submodules/klee | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/submodules/klee b/submodules/klee
index 106db2f9..234f3ebe 160000
--- a/submodules/klee
+++ b/submodules/klee
@@ -1 +1 @@
-Subproject commit 106db2f916f4f6863511de1437a653346f778930
+Subproject commit 234f3ebe6e08798bbf14b08c808731904bcecd3d