From 939933419c651a78b99a60f9a262bbcd4828ee7f Mon Sep 17 00:00:00 2001
From: Ryan Scott <rscott@galois.com>
Date: Tue, 3 Sep 2024 11:36:22 -0400
Subject: [PATCH] crucible: Explicitly require what4-1.6.1 or greater

As of #1211, `crucible` requires `what4-1.6.1` or later to build, but this was
not reflected in the `.cabal` file's version bounds. Fix this, and also bump
the `what4` submodule to version 1.6.1.

Fixes #1246.
---
 crucible/crucible.cabal | 2 +-
 dependencies/what4      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/crucible/crucible.cabal b/crucible/crucible.cabal
index 548fba7ee..4da2d8839 100644
--- a/crucible/crucible.cabal
+++ b/crucible/crucible.cabal
@@ -65,7 +65,7 @@ library
     transformers,
     unordered-containers,
     vector,
-    what4 >= 0.4
+    what4 >= 1.6.1
 
   default-extensions:
      NondecreasingIndentation
diff --git a/dependencies/what4 b/dependencies/what4
index 494ac6416..0cdce4130 160000
--- a/dependencies/what4
+++ b/dependencies/what4
@@ -1 +1 @@
-Subproject commit 494ac6416ed01eab6ae5d1be427d0aaae4c4bb91
+Subproject commit 0cdce4130ebee865d9f771b54b64674d04bcea7c