From 5aa3038c48303e52f0af28b9e18cfc0978c9e99c Mon Sep 17 00:00:00 2001
From: Ryan Scott <rscott@galois.com>
Date: Tue, 3 Sep 2024 11:41:05 -0400
Subject: [PATCH] Bump what4 submodule to development version 1.6.1.0.99

---
 dependencies/what4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dependencies/what4 b/dependencies/what4
index 0cdce4130..94613390a 160000
--- a/dependencies/what4
+++ b/dependencies/what4
@@ -1 +1 @@
-Subproject commit 0cdce4130ebee865d9f771b54b64674d04bcea7c
+Subproject commit 94613390a1bbd8b08cdb4272d85884943b63286a