diff --git a/build-constraints.yaml b/build-constraints.yaml
index 9dde1a97..8efefed9 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1877,7 +1877,7 @@ packages:
         - panic
         - parameterized-utils
         - s-cargot
-        - what4 < 1.7 # https://github.com/commercialhaskell/stackage/issues/7725
+        - what4
         - zenc
         # copilot tests:
         - hedgehog-classes