From 8c9f47ca9e1d721098a6239f8b6fe4edf43c58b9 Mon Sep 17 00:00:00 2001
From: David Holland <dholland@galois.com>
Date: Mon, 21 Oct 2024 13:49:22 -0400
Subject: [PATCH] Switch crucible to the final commit that landed

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

diff --git a/deps/crucible b/deps/crucible
index cb5359831..2fb1c26a3 160000
--- a/deps/crucible
+++ b/deps/crucible
@@ -1 +1 @@
-Subproject commit cb5359831944f0267855513585bae8c6213cd398
+Subproject commit 2fb1c26a3cd4562d90a51956925363a0b40f50ed